well-typed

well-typed

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
372 Stars
143 Forks
29 Watchers

Repositories (2)

cborg well-typed/cborg Haskell

Binary serialisation in the CBOR format

207
generics-sop well-typed/generics-sop Haskell

Generic Programming using True Sums of Products

165