toki/idris2-lens
1
0
Fork 0
Code Issues Pull requests Activity
43 commits 1 branch 3 tags 116 KiB

Tags

v0.3.0

2023-10-19 16:24:53 -04:00 aabe5a94d0 ZIP TAR.GZ

v0.2.0

2023-04-24 10:04:06 -04:00 e1da48721e ZIP TAR.GZ

v0.1.0

2023-04-20 14:05:29 -04:00 66a493a223 ZIP TAR.GZ