We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Welcome to the path semantics wiki!
The notation is developed by Sven Nilsen to express mathematical thoughts.
This wiki explores the concepts and semantics of the notation.
In the long term, the goal is to implement an interpreted language and perhaps a type checker.
Check the sidebar ----> for more information.
---->