Lingo: A Language Workbench Powered by Datalog(petevilter.me)
petevilter.me
Lingo: A Language Workbench Powered by Datalog
https://petevilter.me/post/hytradboi-lingo-talk/#typing-judgements-in-datalog
0 コメント
—
https://petevilter.me/post/hytradboi-lingo-talk/#typing-judgements-in-datalog
—