MagicHaskeller-0.9.6.7: Automatic inductive functional programmer by systematic search

Index - -

--#!!MagicHaskeller.LibTH
--#/=MagicHaskeller.LibTH
--#<MagicHaskeller.LibTH
--#<=MagicHaskeller.LibTH
--#==MagicHaskeller.LibTH