4 ms·I think F# will be my next learning project. Still keeping an eye on Idris, though.by Piezoid 8y agoI think F# will be my next learning project. Still keeping an eye on Idris, though.