../ CaseTree.hsMake ChType a member of IntTy ITChar.13 years ago Constraints.hsDocumentation comment additions14 years ago CoreParser.hsParse integer SIMD types13 years ago Elaborate.hsAdd "equiv" tactic "equiv t" asserts that the current goal has a type equivalent (by conversion) to t13 years ago Evaluate.hsMake ChType a member of IntTy ITChar.13 years ago Execute.hsRemoved FChar in favour of FArith (ATInt ITChar)13 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsAdd "equiv" tactic "equiv t" asserts that the current goal has a type equivalent (by conversion) to t13 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsMake ChType a member of IntTy ITChar.13 years ago Typecheck.hsMake ChType a member of IntTy ITChar.13 years ago Unify.hsEXPERIMENTAL: Syntax for applying functions by expected type "t <== f" applies a function f to arguments in such a way that it returns something of type t. The <== is a placeholder syntax until someone comes up with something better. (Alternative: t by f, …13 years ago