agda w type stuff

rhi edited this page 2023-08-01 10:45:57 -04:00

Page revisions

2 Commits

Author	SHA1	Message	Date
rhi	79370a6058	Update 'agda w type stuff'	2023-08-01 10:45:57 -04:00
rhi	3d5bb7e556	Update 'agda w-type stuff'	2023-07-31 18:56:46 -04:00