search

microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

Formalize ks types #934

Closed awf closed 3 years ago

awf commented 3 years ago

Respin https://github.com/microsoft/knossos-ksc/pull/930 against master this time.