3 ms·

Somewhat related: A drum-machine DSL with dependent types: https://media.ccc.de/v/456-tsh-a-dependently-timed-drum-machine-language https://media.ccc.de/v/456-

by sshine 3y ago

Somewhat related: A drum-machine DSL with dependent types: https://media.ccc.de/v/456-tsh-a-dependently-timed-drum-machine-language https://media.ccc.de/v/456-tsh-a-dependently-timed-drum-mach...

Jeff_Brown 3y ago
Omg this is like sex on pizza.
dredozubov 3y ago
Very cool! I enjoy digging into dependent typing applications.