Skip to content

ja-0.0.2

Pre-release
Pre-release

Choose a tag to compare

View all tags
@gemmaro gemmaro released this 30 Mar 04:36
· 13 commits to ja since this release
ja-0.0.2
24eb2bc
This commit was signed with the committer’s verified signature. The key has expired.
gemmaro
GPG key ID: ECDF7AE3FE5CE0C0
Expired
Verified
Learn about vigilant mode.

Full Changelog: https://github.com/gemmaro/idris2-tutorial/commits/ja-0.0.2

Assets 2
Loading