Yesterday I announced datatype99 [1], today I announce Metalang99 -- a framework upon which datatype99 is built (initially published under a different name, tho

Yesterday I announced datatype99 [1], today I announce Metalang99 -- a framework upon which datatype99 is built (initially published under a different name, though I changed it to more neutral). [1]: https://news.ycombinator.com/item?id=26024482#26029208 https://news.ycombinator.com/item?id=26024482#26029208