MI-AFP / tutorials
Materials for MI-AFP course tutorials
☆12Updated last year
Alternatives and similar repositories for tutorials:
Users that are interested in tutorials are comparing it to the libraries listed below
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- Gameboy color emulator in Haskell☆9Updated 7 months ago
- A Haskell library for loading configuation data from environment variables.☆17Updated 2 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Updated 5 years ago
- DEPRECATED: use https://github.com/MercuryTechnologies/moat☆23Updated 4 years ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- Handle POSIX cron schedules.☆10Updated 2 months ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 3 years ago
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Updated 6 years ago
- Pure-Haskell proper unicode string handling☆15Updated 8 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Types for ldtk☆15Updated last year
- ☆23Updated 7 years ago
- Combine and enhance Functors☆39Updated last year
- A simple combinator library☆29Updated 6 years ago
- a language about nothing☆19Updated 5 years ago
- First Class Record Fields in Haskell☆17Updated last month
- Haskell bindings to Chez Scheme☆10Updated last year
- An experiment towards a UI programming model inspired by algebraic effects.☆30Updated 7 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- Union mount in Haskell, with fsnotify☆12Updated last month
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- Derive editors for data types.☆28Updated 10 years ago
- algebraic typechecking and elaboration of type systems☆12Updated 3 months ago
- Automatically derive bindings for Servant APIs in Reason☆12Updated 5 years ago
- Property based testing for Servant using Hedgehog☆19Updated 4 years ago
- Lens combinators for fused-effects.☆17Updated 4 years ago
- Mollie API client for Haskell http://www.mollie.com☆20Updated 5 years ago
- ☆9Updated 6 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago