ok so I'm familiar enough with python, javascript, java, haskell, go, rust, erlang, swift, php, ocaml (ish). I could probably figure out C/C++. what else could I use?

oh, my own conlang ofc lmao. I would probably have to add lists to it first tho lol github.com/mozzius/lyre

what a neat little thing

thanks! it was my university dissertation project

the type checker is pretty clean, almost declarative. i should brush up on my Haskell and play around with it.