Giters
jpvillaisaza
/
abel
Category theory applied to functional programming
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
4
Issues:
3
Forks:
0
jpvillaisaza/abel Issues
Pregunta sobre "join"
Closed
11 years ago
Comments count
5
No universe polymorphism and not K.
Closed
11 years ago
Comments count
1
Version of Agda used for testing the repo
Closed
8 years ago
Comments count
3