search

typedefs / typedefs

Programming language agnostic type construction language based on polynomials.
http://typedefs.com/
GNU Affero General Public License v3.0
366 stars 18 forks source link

Implement test suite for binary format in Idris backend #228

Open andrevidela opened 4 years ago

andrevidela commented 4 years ago

during #227 I noticed the serialisation functions for binary weren't actually used.

Given the flexibility of the interface maybe this is the opportunity to use quickcheck.

maybe after TermWrite is rewritten to support specialisation we can have a proof that deserialise . serialise = id ?