Marco

• Joined on Apr 13, 2022

Repositories Public Activity Starred Repositories Following Followers

Marco pushed to master at engboris/large-star-collider

• d93a2169d9 adding alpha conversion

2 years ago

Marco pushed to master at engboris/large-star-collider

• 31c9a45265 working parser but app must be used with (), working notation of \x y. for \x. \y.

2 years ago

Marco pushed to master at engboris/large-star-collider

• ae34fa688d parsing working with app using (), main can eval using cbn, cbv and lo

2 years ago

Marco pushed to master at engboris/large-star-collider

• 8119433b0a Working lo_reduction, cbv and cbn

2 years ago

Marco pushed to master at engboris/large-star-collider

• 1df7aa3bfc Working lo_reduction, cbv and cbn

2 years ago

Marco pushed to master at engboris/large-star-collider

• 081b42f2fc Lambda calcul implem, debugger cbv et cbn

2 years ago

Marco pushed to master at engboris/large-star-collider

• dcb987e188 Now working families + an added example related to it

3 years ago

Marco pushed to master at engboris/large-star-collider

• d05913111d removed check_star parameter from exec, moved test to main.ml and added comments

3 years ago

Marco pushed to master at engboris/large-star-collider

• ee70571a26 working deterministic exec, push before cleaning code

3 years ago

Marco pushed to master at engboris/large-star-collider

• 0d10ff76be exec nows asks for a star list to be starting points

3 years ago

Marco pushed to master at engboris/large-star-collider

• c0a311ce82 dernière version

3 years ago

Marco pushed to master at engboris/large-star-collider

• 32bf998288 added star_postfilter to remove dual rays from final stars

3 years ago

Marco pushed to master at engboris/large-star-collider

• a3c1831388 can be compiled

3 years ago

Marco pushed to master at engboris/large-star-collider

• 22c6994287 exec almost working as intended

3 years ago

Marco pushed to master at engboris/large-star-collider

• f81d32e48c exec second try

3 years ago

Marco pushed to master at engboris/large-star-collider

• 15db6b7ba4 Merge branch 'master' of https://git.recursor.wf/engboris/large-star-collider
• 72474711d1 fixed dgraph
• Compare 2 commits »

3 years ago

Marco pushed to master at engboris/large-star-collider

• d32caf3070 adding string_to_term and a first version of exec

3 years ago

Marco pushed to master at engboris/large-star-collider

• 8f881ad4c5 dgraph ocaml

3 years ago

Marco pushed to master at engboris/large-star-collider

• 80ee136ee7 Unification Ocmal

3 years ago