Repos
/
s3d
/
briefs
/
Commit Briefs
2 years ago
James Cook
Add .gitignore
diff
|
patch
|
tree
2 years ago
James Cook
List idris2 packages this depends on.
diff
|
patch
|
tree
2 years ago
James Cook
Initial import.
diff
|
patch
|
tree