caryoscelus/agda

Автор	SHA1 Съобщение	Дата
Nils Anders Danielsson	a3222370f2 [ #5201 ] Made syntax declarations more liberal.	преди 4 години
Ulf Norell	2a2d1a720a [ fix #3790 ] change syntax example from bind to exist	преди 4 години
Ulf Norell	ed6041483c [ #3790 ] document that syntax must be fully applied	преди 4 години
Andrea Vezzosi	e8002327cf [ doc ] fixed user-manual-test	преди 7 години
Andrea Vezzosi	cf2e965651 [ doc ] some docs for syntax declarations	преди 7 години