Skip to content

Add Queue datatype - #3084

Draft
silas-hw wants to merge 54 commits into
agda:masterfrom
silas-hw:queue
Draft

Add Queue datatype#3084
silas-hw wants to merge 54 commits into
agda:masterfrom
silas-hw:queue

Prove ≈-resp-Empty on TwoList

84d517b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
init
succeeded Jul 30, 2026 in 3m 3s