[WITS'24] Yaffle: A New Core for Idris 2
32:41
[WITS'24] asai: a Library for Compiler Diagnostics
1:18:30
Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017
59:44
[CPP'25] Prospects for Computer Formalization of Infinite-Dimensional Category Theory
58:15
Idris 2: Quantitative Types in Action - Edwin Brady
17:01
17 dakikada TÜM yapay zeka seviyelerini anlatıyorum
1:07:49
Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
1:14:19
The Verse Programming Language | GDC 2023
55:57