Popularity
2.9
Declining
Activity
-
-
4
1
1

Monthly Downloads: 78
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Dependent Types     Agda    
Add another 'agda' Package