Quite a lot of type system modeling has gone into Dada so far, though I don't kn...

		brson 10 days ago \| parent \| context \| favorite \| on: How Dada enables internal references Quite a lot of type system modeling has gone into Dada so far, though I don't know the details. Some of that work is here: https://github.com/dada-lang/dada-model

		help