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

Nils Anders Danielsson 6311bbb613 [ Operator parser ] Support for sections.		9 лет назад
..
Base.agda	f7db0ca658 working coverage checker	17 лет назад
CReal.agda	6311bbb613 [ Operator parser ] Support for sections.	9 лет назад
Complete.agda	9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)	18 лет назад
Gauge.agda	9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)	18 лет назад