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:
- my current Guile script: backup ( _bk.scm)
- originally in Haskell, (and more feature complete still:) a wrapper for rsync, restic, and (unmaintained:) rdiff-backup, in terms of Haskell-Turtle, -Shake , and Gauche-Scheme: hbackup (entry point: hbk.scm)
- (exercise, work in progress:) in Zig: zbackup ( backup.zig)
(no history kept)