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