sjoerdvisscher / unfoldableLinks
Class of data structures that can be unfolded.
☆22Updated last year
Alternatives and similar repositories for unfoldable
Users that are interested in unfoldable are comparing it to the libraries listed below
Sorting:
- A library for benign effects in Haskell☆20Updated 2 months ago
- First Class Record Fields in Haskell☆17Updated 2 months ago
- An implementation of Haskell’s MVars in Racket☆29Updated 9 months ago
- A toy dependent typed language.☆31Updated last week
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 6 months ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated this week