Spranjal dependent types support for let rec declarations with refinement types - Githubissues

jeannin / zelus

A synchronous language with ODEs

http://zelus.di.ens.fr

Other

0 stars 4 forks source link

Spranjal dependent types support for let rec declarations with refinement types #37

Open SharmPranjal opened 2 years ago