4 ms·
No Stinking Loops
- 1vuio0pswjnm7 3y agoWish nsl would include some ngn-k examples.
- 082349872349872 3y agohttps://www.nsl.com/k/tableaux/parse.k https://www.nsl.com/k/tableaux/parse.k is pretty cool (APL-style notation for first-order logic)
loading thread…