Stars
Agda formalization of constraint-based type inference for the simply-typed lambda-calculus
Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering
A purely functional programming language with first class types
A simple and easy-to-use library to enjoy videogames programming
A Neovim configuration for the advanced martian hacker
Vim-fork focused on extensibility and usability
Six10 is my summer project 2020. It's for my own educational purpose.
I'm trying to update the Real World Haskell book
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.