Commit Graph

2 Commits

Author SHA1 Message Date
Nicolas Abril
f7a238c58a [sc-663] Add num-scott adt encoding, it a cli opt 2024-05-20 14:47:50 +02:00
Nicolas Abril
a763052c11 [sc-686] Add record types and record type destructuring 2024-05-15 17:53:50 +02:00