[Agda] Compile-time parsing

[Nils Anders Danielsson]

On 2011-12-15 12:37, Wojciech Jedynak wrote:
> I attach another approach.

The standard library contains some functions that capture Wojciech's
idea:

* Data.Maybe.from-just
* Relation.Nullary.from-yes

-- 
/NAD