[Agda] IO in Agda.

[Marcin Benke]

Peter G. Hancock wrote:

>Has there been any discussion of whether and how to represent
>an IO interface in Agda? 
>
>Is this even on the radar?
>
>  
>
Definitely.  Pierre Hyvernat is working on the theoretical side.
On the practical side, we have an experimantal version of class system,
which means we may have monads similar to ones in Haskell, and Catarina 
is working on do-notation.

Marcin Benke