Commits

Branch selector

 master

User selector

gallais

Datepicker

All time

Commit History

Commits on Oct 10, 2021

• [ new ] decide : Π[ P ∪ Q ] → Π[ All P ∪ Any Q ] (#1595)

  gallais

  authored
  817be2f

  Copy full SHA for 817be2f

Commits on Jul 26, 2021

• [ new ] Data.Default (#1556)

  gallais

  authored
  a6194d8

  Copy full SHA for a6194d8

Commits on Jun 21, 2021

• [ new ] golden testing framework (#1518)

  gallais

  authored
  231d210

  Copy full SHA for 231d210

Commits on Jun 18, 2021

• [ ci ] doc for the actions script (#1522)

  Show description for e9ba0d2
  gallais

  authored
  e9ba0d2

  Copy full SHA for e9ba0d2

Commits on Jun 7, 2021

• [ fix ] preserves old HTML doc (#2) (#1517)

  gallais

  authored
  9070441

  Copy full SHA for 9070441

• [ actions ] move build & html doc deploy to actions (#1516)

  gallais

  authored
  0b9be77

  Copy full SHA for 0b9be77

Commits on Jun 3, 2021

• [ cleanup ] use modules rather than long names (#1515)

  gallais

  authored
  d570667

  Copy full SHA for d570667

Commits on Apr 12, 2021

• [ new ] Basic unary predicates for `Data.Tree.AVL` (#1385)

  gallais

  authored
  d0841d1

  Copy full SHA for d0841d1

Commits on Mar 11, 2021

• [ new ] more interleaving functions in Codata.Stream (#1448)

  gallais

  authored
  3063af0

  Copy full SHA for 3063af0

Commits on Mar 10, 2021

• [ refactor ] Clean up the dependency graph (#1435)

  Show description for 87b26d9
  gallais

  authored
  87b26d9

  Copy full SHA for 87b26d9

Commits on Mar 4, 2021

• [ new ] pretty printing of binary trees (#1048)

  gallais

  authored
  911b52d

  Copy full SHA for 911b52d

Commits on Feb 22, 2021

• Merge master into experimental following 1.5 release (#1431)

  gallais

  authored
  d66a21f

  Copy full SHA for d66a21f

Commits on Feb 14, 2021

• [ new ] pseudo random generators (#1418)

  gallais

  authored
  814c3c1

  Copy full SHA for 814c3c1

Commits on Feb 8, 2021

• [ fix ] a file I had inadvertently deleted

  Show description for 5b36125
  gallais

  committed
  5b36125

  Copy full SHA for 5b36125

• [ fix ] --rewriting is infective

  Show description for df978c6
  gallais

  committed
  df978c6

  Copy full SHA for df978c6

Commits on Feb 5, 2021

• [ re agda/agda#5165 ] Add Main & cleanup README (#1415)

  gallais

  authored
  52d28eb

  Copy full SHA for 52d28eb

Commits on Feb 4, 2021

• [ fix ] We can't turn non-fatal error warnings anymore

  gallais

  committed
  adb1852

  Copy full SHA for adb1852

Commits on Feb 3, 2021

• [ fix #1406 ] Adding some of All's properties (#1410)

  gallais

  authored
  35dbaf4

  Copy full SHA for 35dbaf4

• [ re #1334 ] Some proofs in Data.Nat.Properties (#1411)

  gallais

  authored
  120981d

  Copy full SHA for 120981d

Commits on Jan 11, 2021

• [ fix #835 ] Text.Regex (#1391)

  gallais

  authored
  1fbb5e2

  Copy full SHA for 1fbb5e2

Commits on Jan 8, 2021

• [ fix ] Generalise some types in Vec.Relation.Unary.AllPairs (#1398)

  gallais

  authored
  e5e75de

  Copy full SHA for e5e75de

Commits on Dec 18, 2020

• [ fix #667 ] add parsing and showing for numeric types

  gallais

  authored
  9e28c6e

  Copy full SHA for 9e28c6e

Commits on Dec 15, 2020

• Various AVL goodies (#1371)

  gallais

  authored
  2f8402f

  Copy full SHA for 2f8402f

Commits on Dec 14, 2020

• [ new ] bindings for Haskell's System.Exit (#1367)

  gallais

  authored
  c274f8d

  Copy full SHA for c274f8d

Commits on Dec 13, 2020

• [ fix #1368 ] ⊤-returning IO functions made level polymorphic (#1369)

  gallais

  authored
  3a1d216

  Copy full SHA for 3a1d216

Commits on Dec 11, 2020

• [ new ] postulate length-tail lemma (#1366)

  gallais

  authored
  0e3577e

  Copy full SHA for 0e3577e

Commits on Dec 10, 2020

• [ new ] add _<_ for chars and deprecate non-propositional equality (#1343)

  gallais

  authored
  e4a715f

  Copy full SHA for e4a715f

Commits on Dec 9, 2020

• [ fix ] lines should not drop empty lines (#1372)

  gallais

  authored
  dbcdacb

  Copy full SHA for dbcdacb

Commits on Dec 2, 2020

• [ refactor ] IO module (#1364)

  gallais

  authored
  eb338fd

  Copy full SHA for eb338fd

Commits on Nov 23, 2020

• [ new ] unsnoc (#1360)

  gallais

  authored
  edba5a5

  Copy full SHA for edba5a5

Commits on Nov 20, 2020

• [ travis ] use 2.6.1.1 for CI tests

  gallais

  committed
  8d21832

  Copy full SHA for 8d21832

Commits on Nov 14, 2020

• [ fix ] re-export uncons and cleanup `Data.String.Base` (#1359)

  gallais

  authored
  cd1d0ce

  Copy full SHA for cd1d0ce

Commits on Nov 13, 2020

• [ new ] inductive definition of Infix (#1348)

  gallais

  authored
  be9ac3a

  Copy full SHA for be9ac3a

• [ new ] bindings for System.Environment (#1347)

  gallais

  authored
  e175f89

  Copy full SHA for e175f89

Commits on Nov 12, 2020

• [ fix #1356 ] infix -> infixr (#1357)

  gallais

  authored
  dab47b9

  Copy full SHA for dab47b9

Pagination

Previous

Next