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

Directory listing for idris-1.2.0 source tarball

idris-1.2.0/libs/pruviloj/Pruviloj/

• Core.idr
• Disjoint.idr
• Induction.idr
• Injective.idr
• Internals.idr
• Renamers.idr
• Derive/
  • DecEq.idr
  • Eliminators.idr
• Internals/
  • TyConInfo.idr