on bf4e535 help sign in
1 line 55 B history raw
1Idris> *Data/ZZ> *Data/ZZ> *Data/ZZ> *Data/ZZ> Bye bye