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

Update ipkg

Browse source
This commit is contained in:
Kiana Sheibani 2023-04-20 14:02:35 -04:00
parent 917dacf3c2
commit 66a493a223
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lens.ipkg
View file

@ -1,7 +1,7 @@
package lens package lens
version = 0.0.0 version = 0.1.0
brief = "Batteries-included profunctor optics for Idris2" brief = "Batteries-included profunctor optics"
authors = "Kiana Sheibani" authors = "Kiana Sheibani"
license = "MIT" license = "MIT"