Giters
agda
/
agda-spec
Specification of Agda.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
25
Watchers:
22
Issues:
2
Forks:
3
agda-spec
Specification of Agda.
core-agda.pdf
About
Specification of Agda.
License:
The Unlicense
Languages
Language:
TeX
89.5%
Language:
Agda
10.3%
Language:
Makefile
0.2%