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:
- Organization and planning for the Initial Types Club☆75Updated 3 years ago
- Tutorial on monad transformers☆63Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆121Updated 6 months ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆86Updated 5 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆47Updated this week
- An implementation of Pie in Haskell☆211Updated 6 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆124Updated last month
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- Functional teaching language for use in a discrete mathematics course☆176Updated last week
- Visual Studio Code integration for the Idris 2 language server☆31Updated last year
- Text and Haskell source for my blog series on recursion schemes.☆45Updated 3 years ago
- IHaskell image for Jupyter Docker Stacks☆80Updated last month
- Collections of papers and books about Haskell, Type Theory and Category Theory☆165Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- Compiling Agda code to readable Haskell☆195Updated 2 weeks ago
- A Haskell blog☆151Updated 2 months ago
- The Iowa Agda Library☆53Updated last month
- agda-mode on VS Code☆181Updated 3 weeks ago
- A collection of Notes on GHC☆72Updated 6 years ago
- Tutorial for LiquidHaskell☆81Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆109Updated this week
- Haskell Debugger Extension for Visual Studio Code.☆53Updated last week
- The home of the Glamorous Glambda interpreter☆228Updated 8 months ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated 2 months ago
- SPLV20 course notes☆114Updated 3 years ago
- Towards changing things and see if it proofs☆60Updated 4 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago