Nicolas's repositories
MFODL-Typing
This is a copy of the MonPoly monitor and contains the theories on MFODL typing rules described in my bachelor thesis.
This is a copy of the MonPoly monitor and contains the theories on MFODL typing rules described in my bachelor thesis.