index
:
stacked.git
this commit
master
stack based language in idris2
tzlil
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Main.idr
Age
Commit message (
Collapse
)
Author
Files
Lines
2023-10-24
initial commit
tzlil
1
-0
/
+30