Skip to content

Solderathon recruiting ontology: the World -> World' functor - #34

Open
bmorphism wants to merge 1 commit into
mainfrom
solderathon-world
Open

Solderathon recruiting ontology: the World -> World' functor#34
bmorphism wants to merge 1 commit into
mainfrom
solderathon-world

Commits

Commits on Jun 29, 2026