Résolution stellaire en OCaml

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Branch: master

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'master'

${ noResults }

large-star-collider/lambda

History

julia d93a2169d9 adding alpha conversion		2 years ago
..
Makefile	parsing working with app using (), main can eval using cbn, cbv and lo	2 years ago
lambda.ml	adding alpha conversion	2 years ago
lexer.mll	working parser but app must be used with (), working notation of \x y. for \x. \y.	2 years ago
main.ml	adding alpha conversion	2 years ago
parser.mly	working parser but app must be used with (), working notation of \x y. for \x. \y.	2 years ago
tab1.png	adding alpha conversion	2 years ago
tab2.png	adding alpha conversion	2 years ago
tools.ml	parsing working with app using (), main can eval using cbn, cbv and lo	2 years ago