Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore the development of Yaffle, a new core language for Idris 2, in this 31-minute conference talk presented by Edwin Brady at WITS'24. Delve into the valuable lessons learned from implementing a dependently typed language in itself, focusing on Idris 2, a functional programming language with dependent types based on Quantitative Type Theory. Gain insights into how the expressive type system of Idris 2 is leveraged to guarantee properties of its own implementation. Discover the progress made on Yaffle and its implications for the future of dependently typed programming languages.
