#41 – IDRIS — Systems Programming Meets Full Dependent Types
Dec 26, 2018•30 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。
For the best experience, listen in Metacast app for iOS or Android