kritzcreek / infer_workshopLinks
An interactive workshop on implementing AlgorithmW in Kotlin
☆21Updated 5 years ago
Alternatives and similar repositories for infer_workshop
Users that are interested in infer_workshop are comparing it to the libraries listed below
Sorting:
- Bind The Gap: FP digital magazine☆21Updated 4 years ago
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 4 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- An introduction to common PureScript operators through the only truly universal language.☆48Updated 6 years ago
- ☆49Updated 5 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Updated 5 years ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- Working through the Thinking with Types book in Haskell☆35Updated 5 years ago
- tools for writing better type errors☆73Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Dual Traversable☆42Updated 2 years ago
- ☆60Updated 4 years ago
- Purescript refinement types with runtime checking☆25Updated 2 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Sources for https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/☆37Updated 2 years ago
- Kotlin-backend for PureScript☆80Updated 3 years ago
- What would TEA look like if we had no VDOM?☆69Updated 6 years ago
- A monad for managed values☆50Updated 2 years ago
- PureScript CST Parser written in PureScript☆51Updated last month
- Starting from scratch to wrap D3v4☆25Updated 8 years ago
- Opinionated purescript wrapper for the aws sdk☆19Updated 3 years ago
- Reified operations for several common data structures.☆13Updated 6 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Querying a rate-limited currency exchange API using Redis as a cache☆42Updated 5 years ago
- Provide a way to work with TypeScript types declarations☆23Updated 2 years ago
- Formatting and printing for numeric and date/time/interval values☆40Updated 2 years ago
- Sources for a workshop given at Monadic Party 2019 on PureScript and how to use types and FFI to solve real world problems.☆23Updated 5 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago