deft/journal/2020-06-13--19-02-04Z--generic_programming_andre_loh_zurihac_2020.org

11 lines
374 B
Org Mode
Raw Normal View History

#+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-09-08 14:31:48 +00:00
Inlining Trees via subset of template haskell.
https://github.com/well-typed/gp-zurihac-2020