~aathn/kalpis-agda refs - sourcehut git

~aathn/kalpis-agda

Branches

master

da00ed84 — Anders Ågren Thuné 1 year, 2 months ago

browse

log

unsized-coinduction

2e738cb9 — Anders Ågren Thuné 2 months ago

browse

log

esop24-artifact

da00ed84 — Anders Ågren Thuné 1 year, 2 months ago

browse

log

kalpis-redesign

bff98cad — Anders Ågren Thuné 1 year, 9 months ago

browse

log

bijection-uclo

89ba470d — Anders Ågren Thuné 2 years ago

browse

log

esop23-submission

7c3fdba9 — Anders Ågren Thuné 2 years ago

browse

log

Do not follow this link