10

8

6

4

2


2.0
0.0
1.0
0.0

2 exist packages and projects

  • exist

    2.0 0.0 Haskell
    Dependent sum type
  • exist-instances

    1.0 0.0 Haskell
    Instances for "exist" package (requires more language extensions and dependencies)

Add another 'exist' Package