Added Haskell implementation.
authorJoey Capper <jjc@cs.nott.ac.uk>
Wed, 14 Jul 2010 14:13:15 +0000 (15:13 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Wed, 14 Jul 2010 14:13:15 +0000 (15:13 +0100)
commit789a6f79a247353ba13cff71a8f9f3d90d6b888d
tree0ab39ac6ef47d21a1f6dcc044e134a853ef43f09
parente9305c75b635c140fe2a5f0b8c9d6d5ab8994c7c
Added Haskell implementation.
21 files changed:
Agda/Assump.agda [new file with mode: 0644]
Agda/Either.agda [new file with mode: 0755]
Agda/Infer.agda [new file with mode: 0644]
Agda/ListUtil.agda [new file with mode: 0644]
Agda/Monad.agda [new file with mode: 0644]
Agda/README.agda [new file with mode: 0644]
Agda/Scheme.agda [new file with mode: 0644]
Agda/Subst.agda [new file with mode: 0755]
Agda/Terms.agda [new file with mode: 0755]
Agda/Types.agda [new file with mode: 0755]
Haskell/Assump.hs [new file with mode: 0644]
Haskell/Error.hs [new file with mode: 0644]
Haskell/Examples.hs [new file with mode: 0644]
Haskell/Infer.hs [new file with mode: 0644]
Haskell/OldFourierMotzkin.hs [new file with mode: 0755]
Haskell/Pretty.hs [new file with mode: 0644]
Haskell/Scheme.hs [new file with mode: 0644]
Haskell/Simplify.hs [new file with mode: 0644]
Haskell/Subst.hs [new file with mode: 0644]
Haskell/Terms.hs [new file with mode: 0644]
Haskell/Types.hs [new file with mode: 0644]