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

Directory listing for idris-1.3.1 candidate source tarball

idris-1.3.1/libs/pruviloj/

• Makefile
• Pruviloj.idr
• README.txt
• pruviloj.ipkg
• Pruviloj/
  • Core.idr
  • Disjoint.idr
  • Induction.idr
  • Injective.idr
  • Internals.idr
  • Renamers.idr
  • Derive/
    • DecEq.idr
    • Eliminators.idr
  • Internals/
    • TyConInfo.idr