3 ms·
a friend/old coworker of mine played with that idea in datalog and wrote about it. https://petevilter.me/post/datalog-typechecking/ https://petevilter.me/post/d
by rozap 2y ago
a friend/old coworker of mine played with that idea in datalog and wrote about it. https://petevilter.me/post/datalog-typechecking/ https://petevilter.me/post/datalog-typechecking/ it had some pretty cool implications.