[–] claudius 11y ago ↗ The source code on github seems to have been updated in the meantime, I also found it easier to understand than the inline snippets: https://github.com/sanjoy/Snippets/blob/master/DependentType...
1 comment
[ 2.4 ms ] story [ 11.0 ms ] thread