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

Directory listing for idris-0.9.20.1 candidate source tarball

idris-0.9.20.1/benchmarks/

• ALL
• README
• build.pl
• run.pl
• fasta/
  • fasta.idr
  • fasta.ipkg
• pidigits/
  • pidigits.idr
  • pidigits.ipkg
• quasigroups/
  • Main.idr
  • Parser.idr
  • Solver.idr
  • board
  • qgsolve.ipkg
• trivial/
  • sortvec.idr
  • sortvec.ipkg