Cronologia Commit

Autore SHA1 Messaggio Data
  ulfn c3300b11f0 type checking of named implicit arguments 18 anni fa
  ulfn 75065f49c0 syntax for named implicit arguments (ignored when type checking) 18 anni fa
  ulfn ff2ccf61c4 checking that metas have been solved (only batch mode) 19 anni fa