Readme still refers to TypeChecker.hs as MTT.hs

simhu / cubical

Implementation of Univalence in Cubical Sets

MIT License

145 stars 10 forks source link

Closed tpsinnem closed 10 years ago

tpsinnem commented 10 years ago

Readme still refers to TypeChecker.hs as MTT.hs. Also, the file now appears to be quite a bit shorter than 300 lines.

mortberg commented 10 years ago

Fixed!