3 ms·

You can contact me via konstantin dot solomatov at google mail. I visit #agda channel from time to time.