For a while now I've been wanting a generic notation to explain various things on my wiki(tropical arithmetic, multisets, other programming languages, ternary logic, primes, etc..) and I found a PL design I really enjoy writing.

It lands in a weird place, I feel like it might be the only concatenative language without a stack? As far as I know anyways.

I took a day to implement it, and shoved it into a little interactive playground. I have yet to populate the examples.

https://wiki.xxiivv.com/site/rejoice
https://wiki.xxiivv.com/etc/rejoicerepl/

@neauoire Looks very cool. I have a question about the first example: you say the sets are unordered. So is the outcome "[this is a programming language]" an accident of the evaluator implementation? If it is unordered, elements could occur in any order in the set, isn't it?
@wim_v12e yeah, it's kind of an accident, it's just the order in which the primes are stored. I should probably pick a different thing to showcase in the repl.