Signin

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

HoTTEST • September 25, 2022
Video Thumbnail

You May Also Like

About

No channel description available.

Latest Posts

Video Thumbnail

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

HoTTEST

AI Assistant

Loading...