学习依赖型类型理论和编程语言Agda，可以通过观看一系列的教学视频来加速掌握知识。下面是一些精选的教学资源推荐。
该系列由多位知名专家编写，内容从基础概念到高级功能逐步展开，非常适合初学者和有一定经验的开发者。课程中穿插了大量实例和练习，帮助理解Agda的工作原理以及如何将其应用于实践。
这个系列旨在为初学者提供一个清晰、易懂的路径，从零开始了解Agda的基础特性。视频中穿插了代码演示和详细解释，帮助你快速上手。
这个系列深入探讨了依赖型类型理论的核心概念，并通过实际编程实践来展示这些理论的应用。适合对理论基础和实际操作都有兴趣的学习者。
针对已经熟悉基础概念的学习者，这个系列将带领你探索Agda的高级功能和最佳实践。通过复杂项目实例，帮助你在实际应用中提升编程技巧。
定期举行的线上研讨会，由领域内的专家进行分享和互动。适合希望与同行交流并提升技能的学习者。
通过上述教学视频，你可以在不同的学习阶段找到适合自己的资源。不论是初学者还是进阶开发者，都能在这些课程中获得宝贵的指导和启发。祝你在学习Agda的旅程中取得丰硕成果！