search

microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

Revert "Formalise ks types" #933

Closed awf closed 3 years ago

awf commented 3 years ago

Reverts microsoft/knossos-ksc#930

toelli-msft commented 3 years ago

Is this branch still needed?