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