Podcast Cover
YouTube19 Apr 2024
20m

Examples of easy dependently typed programming (in Idris) by Andor Penzes | Lambda Days 2023

Podcast cover

Code Sync

Code Sync - Examples of easy dependently typed programming (in Idris) by Andor Penzes | Lambda Days 2023

Sign in to continue reading, translating and more.

Continue
 
mindmap screenshot
Preview
preview episode cover
How to Get Rich: Every EpisodeNaval