Requirements:
- Agda ≥ 2.6.2
- Agda standard-library ≥ 1.7.1
Building:
make -C src
fredins/plt-agda
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- Agda 47.1%
- TeX 46.8%
- Haskell 3.7%
- Makefile 1.2%
- C++ 1.0%
- Shell 0.1%
- Java 0.1%