Linear checker stub - Githubissues

lambdaclass / concrete

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

Apache License 2.0

123 stars 11 forks source link

Linear checker stub #135

Closed kenarab closed 4 months ago

kenarab commented 4 months ago

Starting to implement a first linearity checker with stub doing nothing. First errors of checker