Login
From:
Arthi-chaud
(Uncensored)
subscribe
Type-machine | Arthi-chaud
https://arthi-chaud.github.io/posts/type-machine/
links
backlinks
Roast topics
Find topics
Find it!
Using Template Haskell to derive the structure of records and simulate structural subtyping
