search

jeannin / zelus

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

Zyicheng dependent types optimize function data structure with new syntax #42

Open EasonZ2022 opened 2 years ago