Comment by adamgordonbell
4 years 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.
4 years 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.
I 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".