Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
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
Cyrill Brunner authored