edwinb/IdrisApp

The beginnings of Pacman!

Opened this issue · 0 comments

diakopter commented

IdrisApp/tests/TestEx.idr

Line 11 in 9f11102

interface Console e => StateEx e where