git.iko.soy/project-m36
on 43dfe2c help sign in
project-m36/src/lib/ProjectM36/Relation
2 folders
../ Parse/convert IntervalAtomType into ConstructedAtomType instead of making it Primitive Show/WIP compilation checkpoint