search

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 #136

Closed kenarab closed 3 months ago

kenarab commented 4 months ago

Starting to implement a first linearity checker with a stub doing actually nothing. LinearityErrors enum. 3 linearityExamples included in tests.

kenarab commented 3 months ago

A functional linear checker PR will be generated. So this will be closed