Documentation

Here we show just two examples of type systems written in XTypeS:

The documentation is available here:

Comments are closed.