jeannin / zelus

A synchronous language with ODEs

http://zelus.di.ens.fr

Other

0 stars 4 forks source link

Implement fby typing rule for MARVeLus #49

Closed jlvargasme closed 2 years ago

jchen-cs commented 2 years ago

53