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