gadt shit master
authorcharlie <charlie.gerhardus@student.ru.nl>
Sun, 13 Dec 2015 20:46:30 +0000 (21:46 +0100)
committercharlie <charlie.gerhardus@student.ru.nl>
Sun, 13 Dec 2015 20:46:30 +0000 (21:46 +0100)
commitcca98c240beb8c20aa2323c10efa7ec14aede422
treed5898872b3143ca61181773dc037a9109695184c
parentdf46cbcb0b61b8b4a27e6ecda20dfe66abbd6f31
gadt shit
a12/charlie/skeleton12_gadt.icl [new file with mode: 0644]