paf31 / purescript-leibniz
Leibniz Equality
☆18Updated 6 years ago
Alternatives and similar repositories for purescript-leibniz:
Users that are interested in purescript-leibniz are comparing it to the libraries listed below
- ☆12Updated 4 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- Helper functions for creating coroutines with the Aff monad☆23Updated 2 years ago
- An IO monad for PureScript.☆44Updated 6 years ago
- Experimental polykinds implementation☆13Updated 5 years ago
- ☆21Updated last year
- A huge number library for Purescript with emphasis on correctness.☆12Updated 2 years ago
- ☆26Updated 2 years ago
- A Map data structure at the type level.☆8Updated 7 years ago
- Types and functions for dealing with JavaScript options objects