Zyicheng dependent types

jeannin / zelus

A synchronous language with ODEs

http://zelus.di.ens.fr

Other

0 stars 4 forks source link

Closed EasonZ2022 closed 2 years ago

EasonZ2022 commented 2 years ago

Task15: Add keyword for temporal operators box and diamond & Task17: Enable custom refinement data type definition