λm.me - Blog gilmi.me

λm.me - An alternative frontend for Haskell?

gilmi.me·123w

λm.me - Implementing kind inference

gilmi.me·124w

λm.me - Why I like JavaScript as a compilation target

gilmi.me·136w

λm.me - Why I use the Twain web framework

gilmi.me·137w

2022 Recap

gilmi.me·163w

λm.me - sqlite-easy: A primitive yet easy to use sqlite library

gilmi.me·165w

λm.me - 7 things I learned from Haskell

gilmi.me·165w

λm.me - Build a bulletin board using twain and friends

gilmi.me·198w

λm.me - Things I worked on in 2021

gilmi.me·216w

Core Haskell tools

gilmi.me·235w

λm.me - Typing polymorphic variants in Giml

gilmi.me·252w

λm.me - Typing extensible records in Giml

gilmi.me·253w

λm.me - Giml's type inference engine

gilmi.me·253w

λm.me - The bottom of the Haskell Pyramid

gilmi.me·256w

Strema is now Giml

gilmi.me·257w

fix by example

gilmi.me·257w

Live coding a compiler

gilmi.me·261w

λm.me - A bulletin board website using Haskell, scotty and friends

gilmi.me·265w

λm.me - Things I worked on in 2020

gilmi.me·267w

λm.me - Build a bulletin board using scotty and friends

gilmi.me·271w

Loading...Loading more...