Skip to content
GitLab
Explore
Sign in
Explore projects
Most starred
Trending
Active
Inactive
All
I
Software /
Initial Algebras Unchained
A Novel Initial Algebra Construction Formalized in Agda
1
Updated
May 21, 2024
1
0
0
0
Updated
May 21, 2024
D
Software /
duration-monad-agda
1
Updated
May 06, 2020
1
0
0
0
Updated
May 06, 2020