search

homotopy-io / homotopy-webclient

https://homotopy.io
26 stars 5 forks source link

Type checking #9

Closed jamievicary closed 5 years ago

jamievicary commented 5 years ago

Implement the type checking algorithm.