jeannin / zelus

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

Zyicheng dependent types task22 23 #26

Closed EasonZ2022 closed 2 years ago

EasonZ2022 commented 2 years ago

Since Task23 only adds a few lines on Task22, I put them in the same branch.