Andrei Bondarenko 695ec6132a Nominal and structural typing seem to be fully working		2021-08-24 23:56:25 +02:00
..
bottom	REfctored name	2021-08-16 09:55:02 +02:00
primitives	Working on conformance	2021-08-23 15:11:25 +02:00
__init__.py	Refactored some names again	2021-08-12 11:11:59 +02:00
pn.py	Nominal and structural typing seem to be fully working	2021-08-24 23:56:25 +02:00
scd.py	PN example	2021-08-21 11:57:20 +02:00