3 ms·The idris book opens with a section on dependently-typed state machines and it’s magnificent.by ves 6y agoThe idris book opens with a section on dependently-typed state machines and it’s magnificent.jgwil2 6y agoWhat book is this?rowanG077 6y agoType driven development with idris