search

marcoheisig / restricted-functions

Reasoning about functions with restricted argument types.
MIT License
10 stars 0 forks source link

README type inference bug #1

Closed phoe closed 5 years ago

phoe commented 5 years ago

screenshot from 2019-02-13 15-17-37

I think the second code block needs to be replaced.

marcoheisig commented 5 years ago

Fixed, thanks!