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

Directory listing for eliminators-0.5 source tarball

eliminators-0.5/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• eliminators.cabal
• src/
  • Data/
    • Eliminator.hs
    • Eliminator/
      • TH.hs
      • TypeNats.hs
• tests/
  • DecideSpec.hs
  • DecideTypes.hs
  • EqualitySpec.hs
  • EqualityTypes.hs
  • GADTSpec.hs
  • ListSpec.hs
  • ListTypes.hs
  • Spec.hs
  • VecSpec.hs
  • VecTypes.hs