Giters
purescript
/
purescript-exists
Existential types as a library
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
33
Watchers:
4
Issues:
3
Forks:
9
purescript/purescript-exists Issues
Add Exists2, Exists3... ?
Updated
a year ago
`mapExists` helper
Updated
2 years ago
Comments count
2
Is there a reason to prefer the foreign/coerced representation to Church encoding?
Updated
2 years ago