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.