Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.029Jan2322201918171615141311109Merge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculusmainmaindata structuur png+readme afbackslash aangepast+Roadmap af+readme roadmap,gebruik+readme verbetert+readme aangepast+readme+docstrings+comments +str method application+extra commentssubstitute in interpreterMerge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculusgeen a-con str(App) beter, parse Abs kan meer varsMerge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculus+vreduce reduced volledig, interpreter uitgebreidfree en bound var zonder sets, Var.eq+interpreter file +beginsel a-conversion niet afMerge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculus+freevar +boundvar +aconversion +acondeciderfstrings weg bij parser, main->Classes, fromstringfromstring in functies.pyvorige + change die niet was gecommitparser precedence bij applicationscomments+leesbaarheid op functies.py-reduce in main.pyreduced nu ook de body van een abstraction+functies file met reduce, substitute. +-parserreduce volledigParser werkt zonder conficts, wel extra haakjesreductionMerge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculusParser manier om variable samen te voegenwhoopsfunctiefs.py wegparsen abstractions werktLT.sub, Ab.subwerktdingen werken