- [๐] Learning Type Theory and Logic
- [โก] Skilled on Functional Programming
- [โค] Loved Lean4, Haskell and C#
qiu233 / protobuf Goto Github PK
View Code? Open in Web Editor NEWThis project forked from alphaheavy/protobuf
An implementation of Google's Protocol Buffers in Haskell.
Home Page: http://hackage.haskell.org/package/protobuf
License: BSD 3-Clause "New" or "Revised" License