Branch: master

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'master'

${ noResults }

Commit Graph

3 Commits (master)

Author	SHA1	Message	Date
julia	d93a2169d9	adding alpha conversion	2 years ago
julia	31c9a45265	working parser but app must be used with (), working notation of \x y. for \x. \y.	2 years ago
julia	ae34fa688d	parsing working with app using (), main can eval using cbn, cbv and lo	2 years ago
julia	8119433b0a	Working lo_reduction, cbv and cbn	2 years ago
julia	1df7aa3bfc	Working lo_reduction, cbv and cbn	2 years ago
julia	081b42f2fc	Lambda calcul implem, debugger cbv et cbn	2 years ago