Projects

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

My backup scripts,

remarks: