3 ms·You should check out Idris: https://www.idris-lang.org/ https://www.idris-lang.org/by wwright 7y agoYou should check out Idris: https://www.idris-lang.org/ https://www.idris-lang.org/