2 ms·
Oh, really? I'm curious what exactly you mean by limitless metaprogramming. I've really been drawn into Lean specifically because of how easy to extend and mall
by gopiandcode 1y ago
Oh, really? I'm curious what exactly you mean by limitless metaprogramming. I've really been drawn into Lean specifically because of how easy to extend and malleable the language itself is, so if Agda is even more so then I'd be really eager to try that out.
e.g.:
- embedding a prolog/asp DSL: https://github.com/kiranandcode/cleango https://github.com/kiranandcode/cleango
- embedding a tex/latex DSL: https://github.com/kiranandcode/LeanTeX https://github.com/kiranandcode/LeanTeX
- yuppiemephisto 1y agoI was surprised to hear their claim about Agda's metaprogramming, I say lean is better here