Skip to content
GitLab
Explore
Sign in
experiments
README.md
Find file
Blame
Permalink
Feb 03, 2025
3f0afe8e
feat: add agda stuff and flake
· 3f0afe8e
Nicolas Lenz
authored
Feb 03, 2025
3f0afe8e
feat: add agda stuff and flake
Nicolas Lenz
authored
Feb 03, 2025
Loading
Nicolas Lenz authoredNicolas Lenz authored