caryoscelus/agda

Pembuat	SHA1 Pesan	Tanggal
Andrés Sicard-Ramírez	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	11 tahun lalu
andreas.abel	0f5514d460 Freeze meta variables after each declaration.	14 tahun lalu
ulfn	f06402b73b disabled Prop	14 tahun lalu
Nils Anders Danielsson	8819c245eb Disabled the --proof-irrelevance flag.	15 tahun lalu
Nils Anders Danielsson	c5b859575b Horizontal tab characters are no longer treated as white space.	16 tahun lalu
ulfn	932d196be4 Module name file name correspondence is now enforce also for the main module	17 tahun lalu
ulfn	f7db0ca658 working coverage checker	17 tahun lalu
ulfn	c5811e0c11 more more bug fixes in module system	18 tahun lalu
ulfn	9485444ae0 major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)	18 tahun lalu
ulfn	cc06880657 fixed bug of trying to solve a constraint in the wrong context	18 tahun lalu
ulfn	f7d0edc7b4 fixed bug which resulted in constraints disappearing	18 tahun lalu
ulfn	e9e0dae12d generate blocked terms	18 tahun lalu
ulfn	a20e402b31 fixes in examples	18 tahun lalu
ulfn	dcd5eea43d names containing _ are automatically operators (e.g. \_+_ x -> x + x)	19 tahun lalu
ulfn	09dcb14708 updated examples to use new operator syntax	19 tahun lalu
ulfn	81ca23fd80 chasing space leaks	19 tahun lalu
ulfn	a1413ce0c7 better rules for lexing names (x:A is no longer a name)	19 tahun lalu
ulfn	fcae2a8e31 setoid example in make test	19 tahun lalu
ulfn	f7527673e8 setoid example	19 tahun lalu
ulfn	24e9db6c43 examples	19 tahun lalu
ulfn	4bade2045b setoid example	19 tahun lalu
ulfn	059516e6f6 setoid example (plus function)	19 tahun lalu
ulfn	48521d344b setoid example	19 tahun lalu
ulfn	5ad0c7acda setoid example	19 tahun lalu
ulfn	4ead912f6f setoid example	19 tahun lalu
ulfn	8c41e1d877 setoid example	19 tahun lalu
ulfn	aff425c85a setoid example	19 tahun lalu
ulfn	fecc0da76f setoid example	19 tahun lalu

Komit Sejarah Cari

Komit Sejarah