Login
From:
Drup’s thingies
(Uncensored)
subscribe
Typing Tricks: Diff lists | Drup’s thingies
https://drup.github.io/2016/08/02/difflists/
links
backlinks
Roast topics
Find topics
Find it!
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.
