ayazhafiz/plts

Issues

• Full CPS conversion for fx-cap

  #16 opened 2 years ago by ayazhafiz
  0

• Polymorphic variants for asti

  #15 opened 2 years ago by ayazhafiz
  0

• Closure conversion and defunctionalization for co_lc

  #14 opened 2 years ago by ayazhafiz
  0

• Symbol table for co_lc

  #13 opened 2 years ago by ayazhafiz
  0

• [gtlc] Optimize: remove unused parameters/variables

  #9 opened 3 years ago by ayazhafiz
  1

• [gtlc] Support references

  #6 opened 3 years ago by ayazhafiz
  1

• [gtlc] Better UX for inferred types

  #8 opened 3 years ago by ayazhafiz
  1

• [gtlc] Garbage Collection and unboxing per data flow proofs

  #7 opened 3 years ago by ayazhafiz
  1