Jeremy Siek 18cec9a0da moving denotational back to plfa, updates to Confluence		2019-05-25 16:11:01 -04:00
..
DenotTrans.lagda	temporary move denotational to extra	2019-05-25 10:47:23 -03:00