Andreas Abel 1dd6cd7c86 [ fix #5473 ] give `agda.sty` a version and a date 3 rokov pred
..
design 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 rokov pred
papers 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 rokov pred
review b815f5a927 patrik: trying to use pfe 19 rokov pred
style d1165975ac Remove unneeded "LANGUAGE CPP" pragmas 5 rokov pred
talks 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 rokov pred
typechecking 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 rokov pred
agda-future-branch-releases.txt bd338484dd Updated releases procedures. 6 rokov pred
agda-releases-candidates.txt 16faf8a529 Updated releases procedures. 3 rokov pred
agda-releases.txt 1dd6cd7c86 [ fix #5473 ] give `agda.sty` a version and a date 3 rokov pred
bench-std-lib.txt afaa52f34d bench std-lib (Andreas ubunutu 15.10) [ci skip] 8 rokov pred
builtin 5df22157c7 more primitive functions (strToList, ...) 18 rokov pred
classes fcb18126a2 summer school lecture 17 rokov pred
fixity-declarations 1c8182fd9b Suggested dropping the transitivity emulation. 16 rokov pred
ghc-releases.md 753377b146 [ closed #5436 ] Supported GHC 8.10.5. 3 rokov pred
inductive-families 1d8e159e87 more notes on family pattern matching 17 rokov pred
kit ff2ccf61c4 checking that metas have been solved (only batch mode) 18 rokov pred
mixfix 9b24ed1dd6 mixfix operator prototype 18 rokov pred
named-implicit c3300b11f0 type checking of named implicit arguments 18 rokov pred
records b66e47ab56 record formation, introduction and projections 17 rokov pred
scope bc36f44f73 moved scope discussion from Syntax.Scope to notes/scope 18 rokov pred
separate-typechecking 9932378b44 generating and reading interface files 18 rokov pred
thinkingAloud d1767a689f parameterised modules prototype 18 rokov pred
with 0bf17311d2 notes on with 17 rokov pred