10

8

6

4

2


10.0

9.6

1 Agda package

  • Agda

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

Popular Comparisons

Add another 'Agda' Package