bodil / are-we-there-yet
Slides for CUFP 2017 keynote
☆20Updated 7 years ago
Related projects: ⓘ
- complexity testing for haskell☆47Updated 8 years ago
- Haskell types lined up to highlight their similarities☆31Updated 4 years ago
- Slides & demos for talks I do☆60Updated 4 years ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- ☆25Updated this week
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 7 years ago
- ☆23Updated 6 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 6 years ago
- JVM implementation in Haskell☆43Updated this week
- a simple functional language for learners☆30Updated 7 years ago
- ♾️ Sized list☆46Updated 4 months ago
- Presentations on Liquid Haskell, type theory, and more☆44Updated 2 weeks ago
- QuickCheck extras.☆29Updated 5 years ago
- ☆33Updated 3 years ago
- A Purescript library for parsing SlamData's dialect of Markdown.☆36Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- A book about large-scale design in Haskell☆75Updated 9 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 4 years ago
- A port of the Elm Architecture Tutorial to PureScript☆55Updated 6 years ago
- Evaluate special comments in your program on file save.☆38Updated 3 years ago
- Infer user interfaces from type signatures☆78Updated 6 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Arrowized functional state machines☆18Updated 8 years ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 5 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 10 years ago
- Totally functional programming literature☆59Updated 5 years ago
- ☆41Updated 7 years ago