../ CaseTree.hsRemove incompete(?) pattern support for SIMD values13 years ago Constraints.hsDocumentation comment additions14 years ago CoreParser.hsParse empty comments13 years ago Elaborate.hsGive Pi bindings the proper name when elaborating lambdas Fixes #36013 years ago Evaluate.hsBeginnings of integer SIMD support (no backend yet)13 years ago Execute.hsBeginnings of integer SIMD support (no backend yet)13 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsAdded %unifyLog construct For debugging purposes %unifyLof t will give a trace of unification problems while elaborating t Also, log levels 6 and above will give the trace13 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsBeginnings of integer SIMD support (no backend yet)13 years ago Typecheck.hsBeginnings of integer SIMD support (no backend yet)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