Home

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.