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

Update version to 0.3.0

Browse source
This commit is contained in:
Kiana Sheibani 2023-10-19 16:23:53 -04:00
parent d2ebddeab7
commit aabe5a94d0
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lens.ipkg
View file

@ -1,5 +1,5 @@
package lens package lens
version = 0.2.0 version = 0.3.0
brief = "Batteries-included profunctor optics" brief = "Batteries-included profunctor optics"