../ AbsSyntax.hsMerge pull request #485 from lambdadomain/master13 years ago AbsSyntaxTree.hsMerge pull request #485 from lambdadomain/master13 years ago Chaser.hsRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues.13 years ago Colours.hsColourise REPL prompt13 years ago Completion.hsTab completion for setting colours at the REPL13 years ago Coverage.hsFix coverage checking for functions matching constants13 years ago DSL.hsAdded 'quoteGoal x by p in e' syntax meaning, let x = p [current goal] in e Additionally, the value of x is normalised, which means p can be a compile-time only %reflection function used to prove something interesting in e. See test030 for an example of au…13 years ago DataOpts.hsCompile Nat as Int, (and plus/mult/fromInteger)13 years ago Delaborate.hsIndent terms printed in typechecking errors13 years ago Docs.hsRemove the unused arg from lookup functions14 years ago ElabDecls.hsPropagate function options to case blocks13 years ago ElabTerm.hsBetter representation and rendering of generated names13 years ago Error.hsMake the type of ierror more general13 years ago Help.hsTab completion for setting colours at the REPL13 years ago IBC.hsCompile Nat as Int, (and plus/mult/fromInteger)13 years ago IdeSlave.hscleanups13 years ago Imports.hsSome packaging fixes13 years ago Inliner.hs%flag directive13 years ago Parser.hsFurther refactoring of decl' to allow errors to be propagated correctly13 years ago PartialEval.hsAdd %specialise annotation for functions (Part 1 of partial evaluation) %specialise [n1 t1, n2 t2 ...] as an annotation before a function type means that the r.h.s. of all the clauses will be evaluated, but with the name n1 reduced at most t1 times, etc. T…13 years ago Primitives.hsAdd '%reflection' option for functions A reflection function can evaluate at compile-time only, and pattern matches on *syntax* rather than on constructor forms. Also add 'prim__syntactic_eq' for a compile-time syntactic equality check.13 years ago Prover.hsRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues.13 years ago Providers.hsSome refactoring in CaseOp Separate case trees for totality checking, compile time and run time and lift into their own data structure, so that it's clear which one to use when.13 years ago REPL.hsRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues.13 years ago REPLParser.hsRefactoring of parser to Trifecta, documenting and updating some items/fixing some issues.13 years ago Transforms.hsrename O into Z13 years ago Unlit.hsFix Unlit to cope with documentation comment syntax14 years ago UnusedArgs.hsRemove the unused arg from lookup functions14 years ago