SOFTWARE
Synthax Library
GitHub Repository

Although λLang. is not primarily concerned with computer science, computation — understood as a general framework for representing reasoning, and thus being a reasoning framework itself — plays a central role in the platform's blueprint and outputs. As a disclaimer, we should stress that the image of computation at play is less aligned with any positivist discourse, and much closer to Marvin Minsky's arguments on "why programming is a good medium for expressing poorly understood and sloppily-formulated ideas"*. Our attentions are primarily directed to the machine-as-symbol**, not so much to the machine, regarding symbols to be marks and noises tooled as toys on an infinite constructive play. In that, our approach to software frames it as both toy and sandbox in a Montessorian kindergarten.