ityonemo / mavis_inference

inference engine for mavis typesystem
1 stars 0 forks source link

stage 3: (cancelled) #10

Open ityonemo opened 4 years ago

ityonemo commented 3 years ago

omprehensive testing on the type checker DSL and the logical layout of forward and backpropagation is going to be a gradual process. Clear this when stage 4 is competed:

https://github.com/ityonemo/mavis_inference/issues/11