CGLambda

• External links

  • CGLambda Lite contribution
  • Désastre
  • Unlambda

• BCKW conversion (WP)

• To do

  • define semantics
  • write actual compiler
    • convert code to BCKW
  • CGLambda non-Lite
  • CGLambda optim

#contrib