Projects

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

My backup script, a wrapper for rsync, originally written in Haskell, then rewritten in Guile -Scheme, and (as an exercise, work in progress:) in Zig as well:

(no history kept)