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

SPLV20 course notes

A simple and easy-to-use library to enjoy videogames programming

Common Lisp binding of raylib

A Neovim configuration for the advanced martian hacker

Peek lines just when you intend

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.