mkohlhaas / CS410-22

being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CS410 Advanced Functional Programming

Lectures

Coursework

About

being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session


Languages

Language:Agda 100.0%