search

jeannin / zelus

A synchronous language with ODEs
http://zelus.di.ens.fr
Other
0 stars 4 forks source link

Quzhemin dependent types #27

Closed Benj-Qu closed 2 years ago

Benj-Qu commented 2 years ago

Fix Issue 16. Adding support for refinement types in let rec.

jlvargasme commented 2 years ago

Please add a unit test to "unit_test.zls" that shows how your code successfully compiles.