34 points philzook 3 days ago 1 comments
classified 17 minutes ago | parent
Strictly for insiders only? I wouldn't even know where to find out what language that is. It has something to do with e-graphs, which seems to be a veritable rabbit hole.
34 points philzook 3 days ago 1 comments
classified 17 minutes ago | parent