Andrés Sicard-Ramírez dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 anos atrás
..
Basics.agda f4fe820a6a summer school lecture changes 17 anos atrás
Bool.agda fcb18126a2 summer school lecture 17 anos atrás
CurryHoward.agda 683294dfbe Updated test suite to avoid clashes with new reserved words (∀, λ and →). 16 anos atrás
Datatypes.agda f4fe820a6a summer school lecture changes 17 anos atrás
Families.agda f4fe820a6a summer school lecture changes 17 anos atrás
Filter.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 10 anos atrás
Modules.agda 7b73f4f99c tidying up of summer school lecture 17 anos atrás
Nat.agda d05260528c [ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC 11 anos atrás
Parity.agda 7b73f4f99c tidying up of summer school lecture 17 anos atrás
Records.agda a4d8e4bbdf changed syntax for record fields in preparaton for fancy projection modules 17 anos atrás