[Agda] readFile and output

Nils Anders Danielsson nad at chalmers.se
Tue Oct 2 17:41:01 CEST 2012

On 2012-10-02 16:08, Serge D. Mechveliani wrote:
> 1. Having a string like  "103" : String,
>     what is the simplest way to convert it to  Nat  (unary natural) ?

I believe that Frederic Kettelhoit's prelude contains such a function.


More information about the Agda mailing list