julian-klode/lingolang

Issues

• Abstractly interpreting expressions

  #11 opened 7 years ago by julian-klode
  3

• Refactor assignability in permission/

  #9 opened 7 years ago by julian-klode
  1

• Handle structural "subtyping" of interfaces

  #1 opened 7 years ago by julian-klode
  2

• Wildcard permissions

  #7 opened 7 years ago by julian-klode
  0

• Ownership of pointers and targets

  #10 opened 7 years ago by julian-klode
  1

• Refactor permission/

  #6 opened 7 years ago by julian-klode
  0

• Unsound container permissions possible

  #8 opened 7 years ago by julian-klode
  3

• Concrete value <-> interface conversions

  #3 opened 7 years ago by julian-klode
  3

• Reference types should be copyable to

  #5 opened 7 years ago by julian-klode
  1

• Merging branches

  #4 opened 7 years ago by julian-klode
  2

• Cannot express recursion in permission syntax

  #2 opened 7 years ago by julian-klode
  3