search

haskellari / lattices

Fine-grained lattice primitives for Haskell
BSD 3-Clause "New" or "Revised" License
35 stars 15 forks source link

Fix top and bottom mistake in documention #57

Closed gwils closed 6 years ago

gwils commented 6 years ago

\/ does not approach bottom, and neither does /\ approach top.