6 ms·Also agda: https://plfa.github.io/ https://plfa.github.io/by blueberry87 3y agoAlso agda: https://plfa.github.io/ https://plfa.github.io/