3 ms·I was surprised to hear their claim about Agda's metaprogramming, I say lean is better hereby yuppiemephisto 1y agoI was surprised to hear their claim about Agda's metaprogramming, I say lean is better here