update lightdata, add Id.lean - Githubissues

argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel

MIT License

114 stars 8 forks source link

update lightdata, add Id.lean #260

Closed johnchandlerburnham closed 1 year ago

johnchandlerburnham commented 1 year ago

tiny fix to LightData Encodable, and adds Id.lean fixture