Thomas Letan’s Blog soap.coffee

How I Use Stacked Git at $WORK

soap.coffee·51w

What happened in September 2022?

soap.coffee·51w

Ltac is an Imperative Metaprogramming Language

soap.coffee·51w

What happened in August 2022?

soap.coffee·51w

Pattern Matching on Types and Contexts

soap.coffee·51w

Implementing an Echo Server in Coq with coqffi.1.0.0

soap.coffee·51w

Writing a Function Whose Argument is a Polymorphic Function in OCaml

soap.coffee·51w

How I Keep Using Stacked Git at $WORK

soap.coffee·51w

Patch Dependencies for Stacked Git

soap.coffee·51w

Spatial Shell: Call For Testers

soap.coffee·51w

Neovim, OCaml Interfaces, Tree-Sitter and LSP

soap.coffee·51w

What happened since December 2022?

soap.coffee·51w

The Chaotic Debut of My Software Projects

soap.coffee·51w

Installing a LUKS-Encrypted Arch Linux on a Vultr VPS

soap.coffee·51w

Spatial Shell 6th Release Might Be the Charm

soap.coffee·51w

Building Static Binaries for OCaml Projects

soap.coffee·51w

Extensible Records in OCaml Using dmap

soap.coffee·51w

On Vestigial Structures

soap.coffee·51w

The Free and Open Source Software Projects This Website is Built Upon in June 2023

soap.coffee·51w

Using git maintenance with Encrypted SSH Keys

soap.coffee·51w

Log in to enable infinite scrolling