ATS/LF

This directory contains a miscellaneous collection of ATS/LF programs.
  • BinaryTree.dats
  • ClosureConv.dats
  • CPS.dats
  • CutElimIL.dats
  • CutElimILL.dats
  • KolmogorovTrans.dats
  • HilbertCalculus.dats
  • irrationality-of-sqrt2.dats
  • mini-ML.dats
  • naive-set.dats
  • pigeonhole.dats
  • STLC-foas.dats
  • STLC-hoas.dats
  • STLC-SN-foas.dats
  • STLC-SN-hoas.dats
    • Last modified: Mon Nov 3 13:41:04 EST 2008