rhi/quox
rhi
/
quox
1
0
Fork 0
Code Issues 16 Pull Requests 1 Releases Wiki Activity
agda w type stuff
rhi edited this page 2023-08-01 10:45:57 -04:00

Wiki 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