Added some comments to help explain the code.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 17 Jul 2013 12:46:13 +0000 (13:46 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 17 Jul 2013 12:46:13 +0000 (13:46 +0100)
commit59d79bfb63df195628e1776765d0577594df741e
tree70bff89c25fed3c1f3568971223b7199abc3ef91
parent3a8d7d1ac385f634d82fe87174cf93109c498e02
Added some comments to help explain the code.
12 files changed:
Agda/Assump.agda
Agda/Either.agda
Agda/FourierMotzkin.agda
Agda/Infer.agda
Agda/ListUtil.agda
Agda/Monad.agda
Agda/README.agda
Agda/RationalExtras.agda
Agda/Scheme.agda
Agda/Subst.agda
Agda/Terms.agda
Agda/Types.agda