Skip to content

Idris HEAD seems to require some hints to make toState' and fromState' type-check#14

Open
stepcut wants to merge 1 commit into
idris-hackers:masterfrom
stepcut:master
Open

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

Commits

Commits on Aug 8, 2014