sigrid/idris2-boot · Ink

Edwin BradyChange main program to be Idris2146c3017 years agoHistory

10 lines · 323 B · TextRaw Download

Processing as TTImpWritten TTCYaffle> (Main.S (Main.S (Main.S (Main.S Main.Z))))Yaffle> (Main.S (Main.S (Main.S (Main.S (Main.S Main.Z)))))Yaffle> Bye for now!Processing as TTCRead TTCYaffle> (Main.S (Main.S (Main.S (Main.S Main.Z))))Yaffle> (Main.S (Main.S (Main.S (Main.S (Main.S Main.Z)))))Yaffle> Bye for now!