toki/idris2-ratio
1
0
Fork 0
Code Issues Pull requests Activity

Compare commits

base: toki:1bdfde80d70c1dc63df186e32f7c86ba6545dff2
Branches Tags
toki:main
toki:v1.0.0
...
compare: toki:2e6f56dfde5e8c30b2bc6aa14bd7a107ad905f4e
Branches Tags
toki:main
toki:v1.0.0
The selected branch/tag are equal.