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

Compare commits

base: toki:main
Branches Tags
toki:main
toki:v0.3.0
toki:v0.2.0
toki:v0.1.0
..
compare: toki:main
Branches Tags
toki:main
toki:v0.3.0
toki:v0.2.0
toki:v0.1.0
These branches are equal. There is no need to create a pull request.