[<<][rtl][>>][..]
Sun May 27 20:42:54 EDT 2018

Encode signal types as types?

This would avoid needing SType values, but would require either
dependent types or some nasty tuple shit.

Maybe type families?




[Reply][About]
[<<][rtl][>>][..]