Tweaked implementation to correctly include appropriate constraints for "fair" policy...
authorJoey Capper <jjc@cs.nott.ac.uk>
Tue, 26 Feb 2013 16:05:16 +0000 (16:05 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Tue, 26 Feb 2013 16:05:16 +0000 (16:05 +0000)
commit8aff9df3c8abe96b2128e8967bbd84f56693add0
tree3374e30cc021c0b9a10fcf3e4f99c5f40932120f
parentf47ff46fece4b6a1453986eee94e9f2487778a22
Tweaked implementation to correctly include appropriate constraints for "fair" policy for generating switch block constraints.
Agda/Infer.agda
Agda/Terms.agda