Popularity
3.1
Growing
Activity
-
-
4
1
1

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