Hacker News new | ask | show | jobs
by typetheorist 1591 days ago
This sounds a lot like what you're describing: https://github.com/tkellogg/dura