Effects

Type-Driven Development of Communicating Systems using Idris

Posted on 2017-07-25

idris effects sessions tdvcs

FP Dag 17-Type-Driven Design of Communicating Systems using Idris

Posted on 2017-01-09

idris effects sessions tdvcs

SPLS-Type-Driven Design of Communicating Systems using Idris

Posted on 2016-11-09

idris effects sessions tdvcs spls

Effectful Channel Management

Posted on 2015-08-28

idris effects sessions tdvcs

Tips for using Effects in Idris

Posted on 2015-07-28

idris effects tips

An Effectful Logger: Part One

Posted on 0001-01-01

idris effects tips