Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
adamgordonbell
on Jan 12, 2023
|
parent
|
context
|
favorite
| on:
The Derivative of a Regular Type is its Type of On...
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
on Jan 13, 2023
[–]
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".
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
