Dependent types coming to Haskell

Thought this work, as well as the wip dissertation, might be relevant to(hopefully) future rust support.

1 Like

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.