Exercises for the Introduction to Functional Programming course at Helsinki University
Haskell exercises with automatic tests
📜 Haskell course info, plan, video lectures, slides
Stack wrapper for single-file Haskell programs.
Template Haskell Workshop
Exercises for the "I Streamed a Stream" workshop at LambdaJAM 2018
Convert Haskell source code to Coq source code.
hpp - A Haskell Preprocessor
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
An implementation of "Freer Monads, More Extensible Effects".
IntelliJ plugin for Haskell
A Haskell kernel for the Jupyter project.
Functional Programming Course