search

homotopy-io / homotopy-webclient

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

Remove framing code #28

Closed jamievicary closed 5 years ago

jamievicary commented 5 years ago

We don't know how to make the framing idea work for now, so remove it.

jamievicary commented 5 years ago

This is now done, there are no occurrences of "framing" in the entire codebase.

This framing feature was providing a rudimentary type-checking. Now that it has been removed, a much larger class of contractions will be allowed, including those which do not yield valid diagrams. However, for valid contractions, the contraction code should still produce the correct thing. This is fine for now until I have implemented type checking properly.