Startsida Utforska Hjälp
Logga in
caryoscelus
/
agda
Bevaka 1
Stjärnmärk 0
Fork 0
Filer Ärenden 0 Pull-förfrågningar 0 Wiki
Gren: js_amd
Grenar Taggar

Commit History

Upphovsman SHA1 Meddelande Datum
  Robert Estelle 1b0a5aff0d make: Consistently invoke make via $(MAKE) 4 år sedan
  Andreas Abel b6f4d90936 [ doc ] Re #2851: updated user manual on literal overloading. 7 år sedan
  Andreas Abel 18a1dd18a1 [ doc ] Local Makefile in language/ 8 år sedan