Geeks
juxtin
/
idris-new
A basic Idris project template in pure Bash.
Primary Language
Shell
idris-new GitHub
Markdown
Readme
2
Issues
2
Stargazers
1
Watcher
Issues
Open issue
Add tests to the project template
#2 opened
9 years ago
0
Open issue
Validate user input
#1 opened
9 years ago
0