Skip to content

Details

Lyndon will give us an introduction to programming in Agda (http://wiki.portal.chalmers.se/agda/pmwiki.php), the proof assistant / dependently typed functional programming language.

Related topics

Events in Highgate, AU

You may also like