Idris Launchpad

Activity: Talk or presentation typesPublic lecture/debate/seminar

Description

A day long workshop at NCR Edinburgh, teaching the Idris programming language
Period22 Nov 2014
Held atNCR Edinburgh, United Kingdom