B - a new way to look at the Agda standard library

a new way to look at the Agda standard library

about summary refs log tree commit diff

Mode	Name	Size
-rw-r--r--	.gitignore	131	log plain
-rw-r--r--	B.agda	302	log plain
d---------	Prelude	309	log plain

generated by cgit v1.2.3 (git 2.39.1) at 2024-04-26 00:43:14 +0000