RoccoMathijn / programming-in-haskellLinks
Solutions to exercises of the book Programming in Haskell 2nd Edition
☆15Updated 4 years ago
Alternatives and similar repositories for programming-in-haskell
Users that are interested in programming-in-haskell are comparing it to the libraries listed below
Sorting:
- Haskell Debugger Extension for Visual Studio Code.☆53Updated 2 months ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- Portal to Haskell Debugging System☆60Updated 7 years ago
- The home of the Glamorous Glambda interpreter☆228Updated 10 months ago
- "Modern compiler implementation" in Haskell!☆28Updated 11 years ago
- Tutorial on monad transformers☆64Updated 4 years ago
- Solutions to exercises from the book Programming in Haskell (2nd Edition)☆46Updated 7 years ago
- A List of Foundational Haskell Papers☆43Updated 7 years ago
- Learn me a Haskell, finally. (And you can too!)☆48Updated last year
- A web site for converting haskell code into pointfree haskell code☆165Updated 3 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆126Updated this week
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆87Updated 5 years ago
- Highlighting support for the Haskell language in visual studio code.☆97Updated 9 months ago
- Tutorial for LiquidHaskell☆81Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Updated 2 weeks ago
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Haskell Language Report☆94Updated 5 years ago
- An implementation of Pie in Haskell☆211Updated 6 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆51Updated last month
- Strongly-typed System F in Haskell☆120Updated 3 years ago
- Functional teaching language for use in a discrete mathematics course☆179Updated this week
- Library of categories, with categorical constructions on them☆59Updated 2 years ago
- A core language and API for dependently typed languages☆97Updated 11 months ago
- The category theory by example book☆59Updated 3 months ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- solutions for book C. Okasaki purely functional data structures☆59Updated 12 years ago
- A collection of Notes on GHC☆71Updated 6 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- Software Transactional Memory☆113Updated 7 months ago
- Preprocessor for typesetting Haskell sources with LaTeX☆104Updated last month