10

8

6

4

2


10.0

9.7

1 Agda package

  • Agda

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

Add another 'Agda' Package