search

jamesdabbs / pi-base.hs

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

Improve deduced trait display #19

Open jamesdabbs opened 10 years ago

jamesdabbs commented 10 years ago

It'd be nice to have a diagram visualizing:

with links for the various implications.