Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
Haskell Coq
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
attic
Equality.hs
FunExtQC.hs
Gadt.hs
Mods0.hs
Mods1.hs
Mods2.hs
Nats.hs
OrdList.hs
OrdList.v
README.md
TH.hs
Today.hs
Tomorrow.hs
TyRep.hs
Units.hs
UseTH.hs
outline.txt
pres.key
pres.pdf

README.md

Notes for NYC Haskell Users' Group Talk, Oct. 24, 2014

This repo stores my examples and slides from my talk on Oct. 24, 2014. Please feel free to re-use (with attribution), though if you do make use of this work, I'd love to know!