identicalsnowflake a5eb5ae0fb [ closed #2200 ] Add trigonometric primitives to TCM and GHC and JS backends 8 år sedan
..
Data 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 år sedan
Modules 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 år sedan
All.agda c92b799692 Files given on the command line must now be on the include path. 16 år sedan
Basics.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 11 år sedan
Built-in.agda a5eb5ae0fb [ closed #2200 ] Add trigonometric primitives to TCM and GHC and JS backends 8 år sedan
Implicit.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 11 år sedan
Modules.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. 11 år sedan
Operators.agda c5b859575b Horizontal tab characters are no longer treated as white space. 16 år sedan
Unicode.agda 683294dfbe Updated test suite to avoid clashes with new reserved words (∀, λ and →). 16 år sedan
Universes.agda 28dd567351 removed special lexing rules for : (x:A is now a valid name) 18 år sedan