well-typed

well-typed

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
357 Stars
137 Forks
357 Watchers

Repositories (2)

cborg well-typed/cborg Haskell

Binary serialisation in the CBOR format

196
generics-sop well-typed/generics-sop Haskell

Generic Programming using True Sums of Products

161