Life & Computing Science — dependent-types https://alhassy.com Life & Computing Science — dependent-types en-us Have you ever packaged anything? https://alhassy.com/three-minute-thesis https://alhassy.com/three-minute-thesis?last-updated=2019-03-12 19:29 Tue, 12 Mar 2019 19:29:00 +0000 I learned something neat, and wanted to share!