3 ms·
Sorry, it was part of his software training. Not seeing a public version out there. Maybe he'll jump in with a link I've missed.
by adamgordonbell 4y ago
Sorry, it was part of his software training. Not seeing a public version out there. Maybe he'll jump in with a link I've missed.
- haskellandchill 4y agoI can't find any such thing in his research papers. Wonder why he didn't publish on it, even a functional pearl. Really liked his paper "Semantic Code Search via Equational Reasoning".