| Age | Commit message (Collapse) | Author |
|---|
|
|
|
to stay
|
|
|
|
|
|
|
|
|
|
|
|
motivation blurb to the readme
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for App
|
|
|
|
|
|
parser
|
|
|
|
|
|
Hypothetical is now reserved for formal bindings
|
|
|
|
|
|
|
|
fields, but applications of those do as do constructions
|
|
records in telescoped contexts
rework ElementValue, CheckedElement to be type aliases for the generic version over Term : Type
|
|
|
|
|
|
the tree anyway
|
|
|
|
|
|
checker, it now enforces that all arms in case are well typed!
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
