joshua/nominal-lstar
1
Fork 0
mirror of https://github.com/Jaxan/nominal-lstar.git synced 2025-04-26 22:27:46 +02:00
Code Issues Releases Activity
nominal-lstar/app
History
Exact
Joshua Moerman eb94b82251 Replaces all NominalType with Nominal
2023-05-31 15:52:17 +02:00
..
Main.hs Replaces all NominalType with Nominal 2023-05-31 15:52:17 +02:00
Main2.hs Replaces all NominalType with Nominal 2023-05-31 15:52:17 +02:00