well-typed/gp-zurihac-2020

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

Haskell

13 commits

updated Aug 1, 2020

README

Datatype-generic programming in Haskell

This repository provides materials that accompany the ZuriHac 2020 Advanced Track lecture on Datatype-Generic Programming.

Contributors

kosmikus

13 commits

Similar repos

well-typed/unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder

113

same org

well-typed/generics-sop

Generic Programming using True Sums of Products

166

same org

facebookarchive/generics

300

nushio3/learn-haskell

167

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

fpco/applied-haskell

iohkedu/haskell-2020

Videos and exercises for the Haskell and Cryptocurrencies class.

149

RobertHarper/hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

Languages

Haskell

100.0%

well-typed/gp-zurihac-2020

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

Haskell

13 commits

updated Aug 1, 2020

See the code

README

Datatype-generic programming in Haskell

This repository provides materials that accompany the ZuriHac 2020 Advanced Track lecture on Datatype-Generic Programming.

Similar repos

well-typed/unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder

113

same org

well-typed/generics-sop

Generic Programming using True Sums of Products

166

same org

facebookarchive/generics

300

nushio3/learn-haskell

167

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

fpco/applied-haskell

iohkedu/haskell-2020

Videos and exercises for the Haskell and Cryptocurrencies class.

149

RobertHarper/hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

Contributors

kosmikus

13 commits

Languages

Haskell

100.0%