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