Modal is a matrioshka language based on pattern-matching to rewrite trees

Link: https://wiki.xxiivv.com/site/modal
Discussion: https://news.ycombinator.com/item?id=40126935