6 ms·You would still need to program in Agda though :) Cheers!by danghica 11y agoYou would still need to program in Agda though :) Cheers!