Comment on Idris, a language that will change the way you think about programming (2015)parentComments−jonathonf10yBecause an existing name (from all various of the world) wasn't around before some bloke on the telly?
Comments
Because an existing name (from all various of the world) wasn't around before some bloke on the telly?