caryoscelus/agda

نویسنده	SHA1 پیام	تاریخ
Andrés Sicard-Ramírez	77c9e4d070 [ doc ] Improved documentation of the `OPTIONS` pragma.	5 سال پیش
Guillaume Allais	8113edad8c [ fix #3383 ] Document the DISPLAY pragma	5 سال پیش
Ulf Norell	780831e20a [ #2787 ] documentation and release notes	7 سال پیش
Víctor López Juan	b507471bb7 [ doc ] Converted remaining into literate files	8 سال پیش