Skip to content
GitLab
Explore
Sign in
Admin message
🚀
This server has been upgraded to GitLab release
16.11
.
🚀
Cyrill Brunner
Strong Shell - Stronger Core
Repository
strong-shell-stronger-core
README.md
Find file
Blame
History
Permalink
Make Idris2 available to build through a top-level Makefile
· 9b7a4008
Cyrill Brunner
authored
Mar 18, 2023
9b7a4008