search

jamesdabbs / pi-base.hs

A Haskell-powered modernization of Counterexamples in Topology
MIT License
39 stars 5 forks source link

Synonyms #12

Closed jamesdabbs closed 10 years ago

jamesdabbs commented 10 years ago

Search / formula input should be smart about canonicalizing e.g. Hausdorff to T_2

jamesdabbs commented 10 years ago

I've implemented most of the functionality, save for UI for adding aliases. This gets a bit delicate, so I'm inclined to limit it to an admin only thing; given the small number of aliases, I'm glad to add them manually for now.