Home

Jump to bottom Edit New page

Sven Nilsen edited this page Jan 19, 2016 · 3 revisions

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.