Useful things
Over the years, I have collected information about
different languages, systems and formalisms that do not
seem to be well documented. In a small attempt to improve
this situation for others, I have described what I learned
about each item.