Directory listing for Agda-2.3.2.2 source tarball
Agda-2.3.2.2/notes/
- .cvsignore
- builtin
- classes
- fixity-declarations
- inductive-families
- kit
- mixfix
- named-implicit
- records
- releases
- scope
- separate-typechecking
- thinkingAloud
- with
- design/
- papers/
- review/
- talks/
- typechecking/