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