Comment Comment by sshine Somewhat related: A drum-machine DSL with dependent types:https://media.ccc.de/v/456-tsh-a-dependently-timed-drum-mach... parent sshine 3 years ago
https://media.ccc.de/v/456-tsh-a-dependently-timed-drum-mach...