microproofs a45001376d fix: is_record was used incorrectly in code gen, ...

the real solution was to look up the datatype and check constructors length

2023-09-13 00:33:02 -04:00

..

src

fix: is_record was used incorrectly in code gen,

2023-09-13 00:33:02 -04:00

Cargo.toml

chore: Release

2023-08-24 15:05:12 -06:00