Projects

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

My backup script,

remarks: