Popularity
5.3
Growing
Activity
6.5
Growing
11
3
0

Monthly Downloads: 13
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