Toggle navigation
Jan de Muijnck-Hughes
Blog
Posts
Tags
Research
About
Studying with Me
Working with Me
Activities
Talks
Service
Teaching
People
Current
Alumni
Publications
Theses
Papers
tips
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