Skip to content
GitLab
Explore
Sign in
Smeding,T.J. (Tom)
efficient-chad-agda-mirror
Repository
Branches
Overview
Active
Stale
All
Stale branches
master
default
protected
a13909c9
·
Fix bug in costing of lfst and lsnd
·
Oct 17, 2023