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

Directory listing for setoid-0.1.0.0 source tarball

setoid-0.1.0.0/

• LICENSE
• README.md
• Setup.hs
• changelog.md
• setoid.cabal
• src/
  • Data/
    • Setoid.hs
    • Setoid/
      • Equivalence.hs
      • Types.hs
• tests/
  • RunTests.hs
  • Data/
    • SetoidTest.hs