lambdas from contexts, not yet for type families
Correction to Patterns
simplified types : no universe, type definition traits; first steps for recursion
induced functions for recursion
non-dependent recursion, clean up of patterns
induced dependent functions for patterns
Recursion and realted contexts - corrected, cases completed
some lambdas are dependent, more work needed. Some cleanup. Bizarre new error
temporary workaround the bizarre behaviour
Context changes : separate dependent case classes, elim : Term => CtxTyp
instantiation, contexts for recursion with many constructors
recursion contexts etc, definitional equlaity parametrized
contexts refined
recursion context type U
recursion foldin refined
corrections after merge
Recursion wirtten with contexts, generated equations; some done for induction too (rest routine)
angular version 0.10
angular version 0.10
recursion: free variables added; FuncDefn has proper substitution; bizzare coercion to Term required in context