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

Directory listing for dependent-sum-0.7.0.0 source tarball

dependent-sum-0.7.0.0/

• ChangeLog.md
• Setup.lhs
• dependent-sum.cabal
• examples/
  • FooGADT.hs
• src/
  • Data/
    • Dependent/
      • Sum.hs