Default Branch

master abe4f78490 · Fix Type in README · Updated 2022-07-23 07:36:37 +00:00

ZIP  TAR.GZ

Branches

wildcard 9c098185a7 · First implementation of Unify with Wildcards. Added rules and changed step 2 · Updated 2022-10-25 20:07:59 +00:00    stan	0 1	Compare	ZIP  TAR.GZ
pages 8602a58513 · Merge branch 'master' into pages · Updated 2022-07-23 07:36:55 +00:00    stan	0 9	Compare	ZIP  TAR.GZ
lambda 82d2854f69 · Add Lambda Expression to parser and Type. Add eraseF function · Updated 2022-04-12 16:22:55 +00:00    stan	27 1	Compare	ZIP  TAR.GZ
transfer c62a0e5dae · Unify, only call step 2 once. substitute beforehand · Updated 2022-03-22 21:56:46 +00:00    stan	29 1	Compare	ZIP  TAR.GZ