Revision history for agda2scala

0.1.0.0 -- 2023-12-14

First version cloned from omelkonian/agda-minimal-backend

0.1.0.1 -- 2023-12-14

add CI
rename agda2?? to agda2rust
add working example
change upper bound for base to 4.20 to fix CI
add CHANGELOG.md
document how to compile example

0.1.0.2 -- 2023-12-14

reorganise to library and executable and tests
test if backend is enabled using HSpec
cleanup warnings