10

8

6

4

2


9.9

9.8

1 Agda package

  • Agda

    9.9 9.8 Haskell
    A dependently typed functional programming language and proof assistant

Add another 'Agda' Package