:PROPERTIES: :ID: 38d2b532-6453-49b6-b668-36ca38a376b0 :END: #+TITLE: Datatype-Generic Programming - Andre Loh @Zurihac 2020 #+Author: Yann Esposito #+Date: [2020-06-13] tags :: [[id:28b1b988-b2de-46aa-9a47-78a94aa5e2ce][haskell]] [[id:da7e2db9-fa16-436b-a99a-c5b020acfc85][zurihac]] source :: https://www.youtube.com/watch?v=pwnrfREbhWY Inlining Trees via subset of template haskell. https://github.com/well-typed/gp-zurihac-2020