issues
search
jeannin
/
zelus
A synchronous language with ODEs
http://zelus.di.ens.fr
Other
0
stars
4
forks
source link
Zyicheng dependent types fix custom type error
#32
Closed
EasonZ2022
closed
2 years ago