search

jeannin / zelus

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

Updated code for pairs #66

Closed jchen-cs closed 2 years ago

jchen-cs commented 2 years ago

May have accidentally merged from main but the commit history still got pulled into this branch. Merging to close this branch.