1145-1210: A dependent Haskell triptych - Githubissues

ocamllabs / icfp2016-blog

Canopy blog data that powers ICFP liveblog

http://icfp2016.mirage.io

17 stars 6 forks source link

1145-1210: A dependent Haskell triptych #186

Open GemmaG opened 8 years ago

GemmaG commented 8 years ago

Richard Eisenberg: Bryn Mawr College

avsm commented 8 years ago

The liveblog for this talk is at http://icfp2016.mirage.io/HIW/a-dependent-haskell-triptych.md. The file to edit is https://github.com/ocamllabs/icfp2016-blog/blob/master/HIW/a-dependent-haskell-triptych.md