Zyicheng dependent types new syntax update all unit tests - Githubissues

jeannin / zelus

A synchronous language with ODEs

http://zelus.di.ens.fr

Other

0 stars 4 forks source link

Zyicheng dependent types new syntax update all unit tests #45

Closed EasonZ2022 closed 2 years ago