Changelog since Talk

  • Template syntax has changed to #(NameA: 3, TypeB: type int[3], ValueC: true)
  • Standard Library is delivered with SUS Compiler
  • Hindley-Milner for Concrete Typing