Slight modification of inference.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 15 Jul 2010 09:13:15 +0000 (10:13 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 15 Jul 2010 09:13:15 +0000 (10:13 +0100)
commit63baf3040e2e44e0f094fedb6e1477aef725fe7e
tree24524106ee82347b42e9b2b803eb9caef02e9e91
parent9a7568d264da57ccdad47a0ad8d7966229188630
Slight modification of inference.
Agda/Infer.agda
Agda/ListUtil.agda
Agda/Terms.agda