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

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 лет назад