Projects

Pire — A refactoring tool for the dependently typed programming language Pi-Forall (abandoned).

dependent-types — Some inspirations for dependent types, MiniTT, Haskell's Bound library, etc.

minitt — My implementation of MiniTT, in terms of Haskell's Bound library (abandoned).

backup — My backup script, a wrapper for rsync, restic, and (unmaintained:) rdiff-backup, in terms of Haskell-Turtle, -Shake, and Gauche-Scheme.

snippets — Extract code snippets in special comments from Haskell files (and similar for .org and .adoc files).

channel — My channel of (missing for me: Emacs-, and Haskell-) Guix packages.