• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for lawz-0.1.1 source tarball

lawz-0.1.1/

• ChangeLog.md
• LICENSE
• lawz.cabal
• src/
  • Test/
    • Function.hs
    • Logic.hs
    • Operation.hs
    • Relation.hs
    • Function/
      • Equivalent.hs
      • Idempotent.hs
      • Injective.hs
      • Invertible.hs
      • Monotone.hs
    • Operation/
      • Annihilative.hs
      • Associative.hs
      • Commutative.hs
      • Distributive.hs
      • Neutral.hs
    • Relation/
      • Connex.hs
      • Reflexive.hs
      • Symmetric.hs
      • Transitive.hs