Skip to content
Eta-reduced pattern-matches to improve term readability

As the titles implies, the pattern-matching facilities that CaPriCon
makes available for pretty-printing terms can now recognize a portion
of sub-terms that can be lifted to a smaller context, and print them
accordingly.

Another non-negligible feature of this version is for the JavaScript
backend, which now takes into account the contents of the preceding
inline code snippets (between mustaches) before building the context
of each paragraph's console.