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

Directory listing for idris-0.12 source tarball

idris-0.12/libs/pruviloj/Pruviloj/

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