3 ms·
Edwards subtext had table centric representation of logic iirc.
by agumonkey 2y ago
Edwards subtext had table centric representation of logic iirc.
- agumonkey 2y agops: here's an oopsla paper https://www.subtext-lang.org/OOPSLA07.pdf https://www.subtext-lang.org/OOPSLA07.pdf (go to page 13 and further for screenshots) from: https://www.subtext-lang.org/ https://www.subtext-lang.org/ (video here: https://vimeo.com/140738254 https://vimeo.com/140738254)