Tom Shenton

icon indicating an email [email protected]

icon company University of Liverpool icon location Cumbria icon location I am an engineer and programming language user with a current interest in mechatronics and logics for reasoning in engineering design and optimisation.

Results 1 issues of Tom Shenton

Installing SDL for Idris

I am new to Idris (1.3.2), Atom and new to the Linux (Kubuntu) that I have successfully installed it on. I am now trying to follow the tutorial in http://docs.idris-lang.org/en/latest/st/composing.html...