Skip to content

Releases: kiana-S/idris2-lens

v0.3.0

19 Oct 20:26
@kiana-S kiana-S
v0.3.0
This tag was signed with the committer’s verified signature. The key has expired.
kiana-S Kiana Sheibani
GPG key ID: 6CB106C25E86A9F7
Expired
Learn about vigilant mode.
aabe5a9
This commit was signed with the committer’s verified signature. The key has expired.
kiana-S Kiana Sheibani
GPG key ID: 6CB106C25E86A9F7
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.3.0 Pre-release
Pre-release

Changes:

  • Added Data.*.Lens modules for more datatypes
  • Introduced Derive.* modules containing elaboration scripts
Assets 2
Loading