Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd_patch
Rami (Branch) Tag

Cronologia Commit

Autore SHA1 Messaggio Data
  Andreas Abel d44fc042f1 [ fixed #3991 ] allow fractional precedences in fixity declarations 5 anni fa
  Ulf Norell 8a0b4eb05d [ #1664 ] attempt to implement primQNameFixity for UHC backend 8 anni fa
  Ulf Norell 7dc848c9a9 [ #1664 ] implement primQNameFixity in GHC backend 8 anni fa