Comment on Idris - pure functional programming language with dependent typesComments−mindcrime14yIs this, by any chance, specifically tailored to programming control systems for time machines[1]?[1]: http://tardis.wikia.com/wiki/Idris
Comments
Is this, by any chance, specifically tailored to programming control systems for time machines[1]?
[1]: http://tardis.wikia.com/wiki/Idris