search

parsonsmatt / parsonsmatt.github.io

My Github pages website
Other
77 stars 25 forks source link

Basic Type Level Programming in Haskell #44

Closed acapi closed 4 years ago

acapi commented 4 years ago

At the beginning of "Extensible Records" add:

import GHC.TypeLits (KnownSymbol, symbolVal) import Data.Proxy