Popularity
4.7
Growing
Activity
3.6
Declining
15
1
0

Monthly Downloads: 37
Programming language: Haskell
License: LicenseRef-PublicDomain
Tags: Development     Dependent Types    

agda2lagda alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view agda2lagda alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of agda2lagda or a related project?

Add another 'Dependent Types' Package