hendrikmaarand/lambda-calculus hendrikmaarand/lambda-calculus

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Agda
  • Created about 11 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hendrikmaarand/lambda-calculus
github

hendrikmaarand

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.