Report copyright - Looking Outward: When Dependent Types Meet I/O · 2016-12-01 · of dependent types as they are used in Idris. Part I describes the Actulus project, the applied context within which
Please pass captcha verification before submit form