Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• d93a2169d9 adding alpha conversion master julia 2023-06-30 17:46:14 +0200
• 31c9a45265 working parser but app must be used with (), working notation of \x y. for \x. \y. julia 2023-06-27 21:00:05 +0200
• ae34fa688d parsing working with app using (), main can eval using cbn, cbv and lo julia 2023-06-25 12:07:21 +0200
• 8119433b0a Working lo_reduction, cbv and cbn julia 2023-06-01 11:28:18 +0200
• 1df7aa3bfc Working lo_reduction, cbv and cbn julia 2023-05-31 15:21:27 +0200
• 081b42f2fc Lambda calcul implem, debugger cbv et cbn julia 2023-05-25 20:40:59 +0200
• ae065dd9be Mise à jour de 'README.md' Boris Eng 2023-05-02 20:54:38 +0200
• 7db54431fa Remove useless code Boris Eng 2023-05-02 20:16:25 +0200
• f8efe7032d Update .gitignore Boris Eng 2023-05-02 20:11:50 +0200
• 89b0aceefd Update README Boris Eng 2023-05-02 20:11:04 +0200
• 6908956bc0 Reprogrammation complète Boris Eng 2023-05-02 20:01:08 +0200
• dcb987e188 Now working families + an added example related to it julia 2022-08-29 19:27:04 +0200
• d05913111d removed check_star parameter from exec, moved test to main.ml and added comments julia 2022-08-24 21:53:11 +0200
• ee70571a26 working deterministic exec, push before cleaning code julia 2022-08-23 20:54:21 +0200
• 0d10ff76be exec nows asks for a star list to be starting points julia 2022-08-15 16:10:02 +0200
• c0a311ce82 dernière version Julia 2022-08-10 22:20:44 +0200
• 32bf998288 added star_postfilter to remove dual rays from final stars Julia 2022-05-05 23:33:16 +0200
• a3c1831388 can be compiled Julia 2022-05-03 23:13:54 +0200
• 22c6994287 exec almost working as intended Julia 2022-05-03 22:49:04 +0200
• f81d32e48c exec second try Julia 2022-05-03 14:38:36 +0200
• 15db6b7ba4 Merge branch 'master' of https://git.recursor.wf/engboris/large-star-collider Julia 2022-05-01 21:46:00 +0200
• 72474711d1 fixed dgraph Julia 2022-05-01 21:45:02 +0200
• 8db9e5a201 Fix polarities in StellarCircuits engboris 2022-05-01 17:21:13 +0200
• 6edfd78280 Add circuits and automata engboris 2022-05-01 17:14:58 +0200
• d32caf3070 adding string_to_term and a first version of exec julia 2022-04-29 09:33:03 +0200
• 8f881ad4c5 dgraph ocaml Julia 2022-04-20 22:56:09 +0200
• 02fcbc2b1f Add automata engboris 2022-04-20 13:03:56 +0200
• 32122cbae7 Small fix engboris 2022-04-20 11:43:54 +0200
• 6c985f1b89 Add circuits engboris 2022-04-20 11:37:42 +0200
• 80ee136ee7 Unification Ocmal Julia 2022-04-19 18:04:03 +0200
• ab6ca662e7 Add instructions eng 2022-04-14 13:21:48 +0200
• e5d7ab02cc Preparation for ocaml engboris 2022-04-13 12:49:55 +0200
• c30c61acb0 Initial commit engboris 2022-03-02 17:52:33 +0100
• adc37be71a Initial commit Boris Eng 2022-03-02 17:49:54 +0100