Troupe icon indicating copy to clipboard operation
Troupe copied to clipboard

Published 20 hours ago • verified publisher icon TroupeLang

Syntactic Variants

Open AStenbaek opened this issue 4 months ago • 7 comments

Resolves #52

Tasks

  • [x] Add rudementary encoding of ADTs as ~records~ tuples.
  • [ ] Add more tests.
  • [ ] Improve on errors.
  • [ ] Rudementary type checking; this also provides scaffolding for gradual type checking.

AStenbaek avatar Aug 07 '25 16:08 AStenbaek