Haskell Data Structures Dependent Types Agda

10

8

6

4

2

10.0

9.9

Agda

1 Agda package

Agda

10.0 9.9 Haskell

Agda is a dependently typed programming language / interactive theorem prover.

Popular Comparisons

Agda

vs

HoleyMonoid

Add another 'Agda' Package

Do not miss the trending, packages, news and articles with our weekly report.

Awesome Haskell is part of the LibHunt network. Terms. Privacy Policy.