Idris I - Other languages