ilya-klyuchnikov/tapl-scala

Issues

• checker for subtyping + recursive types

  #11 opened 4 years ago by ilya-klyuchnikov
  0

• parser in antlr

  #8 opened 4 years ago by ilya-klyuchnikov
  1

• Uniform code

  #7 opened 4 years ago by ilya-klyuchnikov
  0

• PTS (pure type systems)

  #4 opened 12 years ago by ilya-klyuchnikov
  1

• Bindings, types, should be done in uniform way

  #3 opened 13 years ago by ilya-klyuchnikov
  0

• Describe a "taxonomy" of implemented systems

  #2 opened 13 years ago by ilya-klyuchnikov
  0

• Allow to use `\` instead of `lambda`

  #1 opened 13 years ago by ilya-klyuchnikov
  0