Giters

vincent-botbol / lambda-eval

A web-embedded lambda term evaluator

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ocaml = 4.00.0 -- js_of_ocaml

TODO:

  • Faire un petit texte d'aide
  • Rapport :xx

About

A web-embedded lambda term evaluator

Languages

Language:JavaScript 62.3%Language:OCaml 37.7%