Idris HEAD seems to require some hints to make toState' and fromState' type-check#14
Open
stepcut wants to merge 1 commit intoidris-hackers:masterfrom
stepcut:master
Open
Idris HEAD seems to require some hints to make toState' and fromState' type-check#14stepcut wants to merge 1 commit intoidris-hackers:masterfrom stepcut:master
stepcut wants to merge 1 commit intoidris-hackers:masterfrom
stepcut:master
