Add the ability to declare refinement types anywhere variables can be declared - Githubissues

jeannin / zelus

A synchronous language with ODEs

http://zelus.di.ens.fr

Other

0 stars 4 forks source link

Add the ability to declare refinement types anywhere variables can be declared #3

Open jchen-cs opened 3 years ago