squash some admits
authorAnders Mörtberg <andersmortberg@gmail.com>
Fri, 15 Jan 2016 03:22:41 +0000 (22:22 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 15 Jan 2016 03:22:41 +0000 (22:22 -0500)
commit316854c285851d23012e3d84bef15e57e01356ca
tree2cb9c6757a4c36ef4168c667d2ec00e99bbc2bb2
parent95afe82d2c6231071ef3e5ea7842480c93ff75bb
squash some admits
examples/prelude.ctt
examples/setquot.ctt