Hacker News new | ask | show | jobs
by sshine 1091 days ago
Somewhat related: A drum-machine DSL with dependent types:

https://media.ccc.de/v/456-tsh-a-dependently-timed-drum-mach...
2 comments
dredozubov 1091 days ago
Very cool! I enjoy digging into dependent typing applications.
link
Jeff_Brown 1091 days ago
Omg this is like sex on pizza.
link