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