Skip to content

Releases: gemmaro/idris2-tutorial

ja-0.0.3

26 Dec 00:28
@gemmaro gemmaro
ja-0.0.3
1083194
This commit was signed with the committer’s verified signature.
gemmaro
GPG key ID: ECDF7AE3FE5CE0C0
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
ja-0.0.3 Pre-release
Pre-release

Full Changelog: ja-0.0.2...ja-0.0.3

Loading
0 Join discussion

ja-0.0.2

30 Mar 04:36
@gemmaro gemmaro
ja-0.0.2
24eb2bc
This commit was signed with the committer’s verified signature.
gemmaro
GPG key ID: ECDF7AE3FE5CE0C0
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
ja-0.0.2 Pre-release
Pre-release

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

Loading