About 1 results for "UC-9jDbJ-HegCFuWuam1SfvQ"

Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022

HoTTEST • Sep 25, 2022