Release v0.1.51 · agda/agda-pkg

This repository was archived by the owner on Apr 26, 2026. It is now read-only.

v0.1.51
934f22e
Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.

Learn about vigilant mode
Choose a tag to compare

Filter

View all tags

v0.1.51

v0.1.51
934f22e
Choose a tag to compare

Filter

View all tags
Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.

Learn about vigilant mode

jonaprieto tagged this 01 Jun 16:57

[ v0.1.51 ] Closes #40 #35

Assets 2

Provide feedback