2020-06-13 17:03:39 +00:00
|
|
|
#+TITLE: Datatype-Generic Programming - Andre Loh @Zurihac 2020
|
|
|
|
#+Author: Yann Esposito
|
|
|
|
#+Date: [2020-06-13]
|
|
|
|
|
|
|
|
tags :: [[file:2020-05-26--06-19-53Z--haskell.org][haskell]] [[file:2020-06-13--17-47-28Z--zurihac.org][zurihac]]
|
|
|
|
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
|