Logicails

Notes on logic, systems and small tools. New posts are on the way.