#gadt

// 1 page tagged #gadt · every tag

• GADTs Through a Small Typed Expression Evaluator note
  Use indexed expression trees to make ill-typed syntax impossible before evaluation.