git.iko.soy/Idris-dev
on master help sign in
Idris-dev/samples/ST
2 folders, 5 files
../ Graphics/Add section on composing state machines Net/Add network example to ST tutorial Composite.idrAdd section on composing state machines Intro.idrAdd section on composing state machines Login.idrFixed readSecret to correctly read store LoginCount.idrAdd section on composing state machines TreeTag.idrAdd section on composing state machines