Inicio Explorar Ayuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd_patch
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  Ulf Norell 247bc3efa0 [ fix #5781 ] add --profile flag instead of abusing -v for profiling options hace 2 años
  Robert Estelle d7c46fa201 make: Factor out $(GHC) and $(RUNGHC) commands hace 4 años
  Robert Estelle c00402433d make: Consistently use runghc instead of runhaskell hace 4 años
  Robert Estelle 4ceb342310 make: Use AGDA_BIN a little more consistently hace 4 años
  Andreas Abel 5ffa225f33 [ benchmark ] Haskell scripts to create import benchmarks hace 4 años