register
log in
hub.darcs.net
::
tage64
->
leanshell
->
files
Strongly typed shell scripting in Lean 4.
nothing here yet!
move along, citizen
files
changes
fork
download .zip
darcs get url