10

8

6

4

2


2.7

2.7

2 exist packages and projects

  • exist

    2.7 2.7 Haskell
    Dependent sum type
  • exist-instances

    - -
    Instances for "exist" package (requires more language extensions and dependencies)

Add another 'exist' Package