AndrasKovacs/smalltt

Issues

• How are solved metas "revisited" in smalltt?

  #6 opened 6 months ago by VictorTaelin
  0

• Implementing a dependent type-checker on optimal evaluators (HVM)

  #4 opened 10 months ago by VictorTaelin
  0

• Suspicious slow-down when introducing a meta-variable

  #5 opened 2 years ago by omelkonian
  2

• Use a Heap Machine for Call-by-Need?

  #1 opened 3 years ago by Saizan
  5