Thomas Ekström Hansen
Thomas Ekström Hansen
Home
Recent posts
Experience
Accomplishments
Blog
Coursework
Light
Dark
Automatic
splv2020
Type You an Idris – Part 1: Warmup
The best way to learn & understand a thing is to implement it. So let’s implement (a subset) of Idris2! This part is an introduction and covers some function exercises that will help later.
Thomas Ekström Hansen
Fri, 2 Sep 2022
Cite
×