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. -- /NAD