aerabi/lttt

Issues

• QuickChick the theorems

  #18 opened 4 years ago by aerabi
  0

• Finish the operational typing

  #17 opened 4 years ago by aerabi
  0

• Start the operational typing

  #14 opened 4 years ago by aerabi
  0

• Implement semantics

  #10 opened 4 years ago by aerabi
  0

• Implement the CPS translation

  #11 opened 4 years ago by aerabi
  0