pdarragh/variadic-curry-calculus

Issues

• Just get over it and use continuations

  #7 opened 4 years ago by pdarragh
  1

• Application *to* superpositions is undefined

  #6 opened 4 years ago by pdarragh
  0

• Implement #lang with application form

  #2 opened 4 years ago by pdarragh
  2

• Failing FFI application doesn't work with superpositions well

  #5 opened 4 years ago by pdarragh
  0

• Implement a small type system for lambda-vc

  #4 opened 4 years ago by pdarragh
  0

• Provide separate small-step and big-step interpreter forms

  #3 opened 4 years ago by pdarragh
  0