caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd_patch

ulfn d05260528c [ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC		11 роки тому
..
Typechecker.agda	d05260528c [ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC	11 роки тому