Correct the De Bruijn indices when inferring (and printing) the types…

… and values of partially-applied 'mu' combinators

Correct the 'substitute' and 'intro before' builtins

Correct the De Bruijn indices when inferring (and printing) the types…

… and values of partially-applied 'mu' combinators

Correct the 'substitute' and 'intro before' builtins

Implement a new kind of "quiet" mustache in CaPriCon, to allow precis…

…e formatting commands to be inserted into a document

Implement a new kind of "quiet" mustache in CaPriCon, to allow precis…

…e formatting commands to be inserted into a document

Upend the CaPriCon rendering pipeline, to allow for multiple output b…

…ackends (for now, HTML and LaTeX)

Correct the behavior `type_of` function, causing it to fail on ill-ty…

…ped terms instead of falsely succeeding

It was useful for debugging, though...

Upend the CaPriCon rendering pipeline, to allow for multiple output b…

…ackends (for now, HTML and LaTeX)

Correct the behavior `type_of` function, causing it to fail on ill-ty…

…ped terms instead of falsely succeeding

It was useful for debugging, though...