4 ms·I'm writing an NaaS in Idris as we speak.by mrkgnao 10y agoI'm writing an NaaS in Idris as we speak.