Dependently typed programming language implemented in Literate Haskell.
-
Updated
Aug 8, 2021 - Haskell
Dependently typed programming language implemented in Literate Haskell.
From Functor Composition to Monad Transformers
A extended example of using Haskell Monad transformer RWST in combination with the Free monad.
Trivial monad transformer that allows identical monad stacks have different types
A terminal-based snake game written in Haskell.
Generic monad transformer using scalaz library
A* algorithm
Presentations on functional programming in Scala
Converts the content of a JavaScript file to a RunKit URL embedded in an iframe
A framework to create embedded Domain-Specific Languages in Scala
Play Monad
🐥 🍼 Haskell programming from first principles: source code, exercises, related topics and more.
Simple framework for testing security mechanisms in JavaScript interpreters
Algebraic structures, higher-kinded types and other category theory bad ideas
Functional programming in python
A monad transformer for computing to a fixed point
Small command-line program to fetch your state from the NovaTime© time tracking system
A Haskell-style lazy language in 500 lines of Scala code
Step-by-step implementation of a monad transformer in Scala
Add a description, image, and links to the monad-transformers topic page so that developers can more easily learn about it.
To associate your repository with the monad-transformers topic, visit your repo's landing page and select "manage topics."