Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync在 YouTube 播放 ↗
档案导读
Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice. The demos show the compiler filling in whole functions from their types.
档案英文原文 · 来自 HackerTube 开放档案，暂未收录字幕分析。