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