3 ms·Agda does too! https://plfa.github.io/ https://plfa.github.io/ for examplesby remexre 4y agoAgda does too! https://plfa.github.io/ https://plfa.github.io/ for examples