git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/test/interactive012/input
9 lines 157 B history raw
1:t mkString_rhs_1
2:t mkString_rhs_2
3:t mkThing_rhs_1
4:t mkThing_rhs_2
5:t mkString2_rhs
6:t mkString3_rhs_1
7:t mkString3_rhs_2
8:t append_rhs_1
9:t append_rhs_2