[Agda] Re: String -> Nat

Nils Anders Danielsson nad at chalmers.se
Wed Apr 17 10:45:14 CEST 2013

On 2013-04-16 14:17, Benjamin Barenblat wrote:
> I’m not sure why we don’t have this in the standard library – perhaps a
> more experienced Agda programmer can shed some light on the topic.

The standard library is already quite large. I think it is better to
have separate parser combinator libraries.


More information about the Agda mailing list