Correct minor typo in readme

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

http://latte-central.github.io/LaTTe/

MIT License

256 stars 13 forks source link

Closed Kethku closed 5 years ago

Kethku commented 6 years ago

I think simplicity was intended instead of simplicify?

fredokun commented 5 years ago

Sorry for merging this late... thx