define trans in terms of gencomp
authorAnders Mörtberg <mortberg@chalmers.se>
Thu, 4 Jun 2015 19:43:20 +0000 (21:43 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Thu, 4 Jun 2015 19:43:20 +0000 (21:43 +0200)
commit4947b427f9c96b599f8c2f281d13379ed755e6ea
tree738b47ee472aafdfe2c69def54bae91106749ff5
parentc72cfbea180c9ac8342edb99f1df6438489a4068
define trans in terms of gencomp
examples/prelude.ctt