June 11th, 2022 @ justine's web page| justine.lol
The diff list trick is a way to compute with lists in types. It allows to create heterogeneous lists which is very useful, in particular in the Format module from the standard library.| Drup’s thingies
A simple how-to to understand how we implement protocols for MirageOS| blog.osau.re
24 aug 2020 @ justine's web page| justine.lol