Skip to main navigation Skip to search Skip to main content

Code Mesh

Activity: Talk or presentation types › Presentation

Description

Idris - Practical Software Verification with Dependent Types

A tutorial on programming in Idris
Period4 Nov 2014
Event titleCode Mesh
Event typeConference
LocationLondon, United KingdomShow on map