mystery example: beta reduce some compIds
authorDan Licata <drl@cs.cmu.edu>
Sat, 2 May 2015 15:18:07 +0000 (11:18 -0400)
committerDan Licata <drl@cs.cmu.edu>
Sat, 2 May 2015 15:18:07 +0000 (11:18 -0400)
commit6c97a836514479e36be9e951dd53e493fbfd3f1d
treeb912bda9fe299f0057d46c3a6e57fd6bcb6e87cb
parentdacebc2e5c2109aba95d5ffc70ec62fb5cf344a1
mystery example: beta reduce some compIds
examples/mystery.ctt
examples/torus.ctt