Fix link to combinators in Coq. - Githubissues

mbraceproject / FsPickler

A fast multi-format message serializer for .NET

http://mbraceproject.github.io/FsPickler/

MIT License

326 stars 52 forks source link

Fix link to combinators in Coq. #10

Closed mausch closed 10 years ago