"Super Haskell": an introduction to Agda by André Muricy

Published 2023-10-11

Download video MP4 360p

Similar videos

1:31:42

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

Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
1:34:12

Agda Lecture 7: Cubical Agda - an introduction -- HoTTEST Summer School 2022
17:14

Programming with Proofs - Computerphile
1:34:40

Func Prog Sweden at Kivra
23:58

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types
34:52

ZIO SCHEMA: A Toolkit For Functional Distributed Computing by Dan Harris
More results