[–] dang 2y ago ↗ Related:Modal is a matrioshka language based on pattern-matching to rewrite trees - https://news.ycombinator.com/item?id=40126935 - April 2024 (21 comments)
[–] emmanueloga_ 2y ago ↗ This related wikipedia page is a bit hard to find, so :-) "functional languages that are based on term-rewriting instead of the lambda calculus." [1].--1: https://en.wikipedia.org/wiki/Category:Term-rewriting_progra...
4 comments
[ 2.9 ms ] story [ 12.5 ms ] threadModal is a matrioshka language based on pattern-matching to rewrite trees - https://news.ycombinator.com/item?id=40126935 - April 2024 (21 comments)
--
1: https://en.wikipedia.org/wiki/Category:Term-rewriting_progra...