Dependent types coming to Haskell

#1

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

1 Like
closed #2

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