Added `instance SymbolicData (List c x)`

zkFold / zkfold-base

ZkFold's Base library

https://zkfold.io

MIT License

17 stars 7 forks source link

Added `instance SymbolicData (List c x)` #380

Open TurtlePU opened 3 days ago

TurtlePU commented 3 days ago

Resolves #379. This finally resolves #295. Added the long awaited instance. Also introduced some helper orphan instances along the way. (Note: #376 has to be merged first)

vlasin commented 3 days ago

Can we have some tests involving head and tail operations for Symbolic lists?