Commits · main · stijn en pjotr / lambda calculus

Jan 29, 2023
- Merge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculus · 2a65cc11
  2269767 authored 2 years ago
  
  2a65cc11
- data structuur png · 3b3683e0
  2269767 authored 2 years ago
  
  3b3683e0
Jan 23, 2023
- +readme af · 07e666dd
  9691448 authored 2 years ago
  
  07e666dd
- backslash aangepast · b13e708c
  9691448 authored 2 years ago
  
  b13e708c
- +Roadmap af · 36bd6380
  9691448 authored 2 years ago
  
  36bd6380
- +readme roadmap,gebruik · 38754ea6
  9691448 authored 2 years ago
  
  38754ea6
- +readme verbetert · 12237947
  9691448 authored 2 years ago
  
  12237947
- +readme aangepast · 86a55731
  9691448 authored 2 years ago
  
  86a55731
- +readme · f3602c2e
  9691448 authored 2 years ago
  
  f3602c2e
- +docstrings · 66a56930
  9691448 authored 2 years ago
  
  66a56930
Jan 22, 2023
- +comments +str method application · 01986c16
  9691448 authored 2 years ago
  
  01986c16
- +extra comments · e0814d1b
  9691448 authored 2 years ago
  
  e0814d1b
Jan 20, 2023
- substitute in interpreter · efb88979
  2269767 authored 2 years ago
  
  efb88979
Jan 19, 2023
- Merge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculus · 37bba314
  2269767 authored 2 years ago
  
  37bba314
- geen a-con str(App) beter, parse Abs kan meer vars · 303d98de
  2269767 authored 2 years ago
  
  303d98de
- Merge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculus · e2af6836
  9691448 authored 2 years ago
  
  e2af6836
- +vreduce reduced volledig, interpreter uitgebreid · 326c18bb
  9691448 authored 2 years ago
  
  326c18bb
- free en bound var zonder sets, Var.eq · e66ab34a
  2269767 authored 2 years ago
  
  e66ab34a
Jan 18, 2023
- +interpreter file +beginsel a-conversion niet af · 82ef6a22
  9691448 authored 2 years ago
  
  82ef6a22
- Merge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculus · be117a1f
  9691448 authored 2 years ago
  
  be117a1f
- +freevar +boundvar +aconversion +acondecider · f1815587
  9691448 authored 2 years ago
  
  f1815587
- fstrings weg bij parser, main->Classes, fromstring · 4d45f56d
  2269767 authored 2 years ago
  
  4d45f56d
- fromstring in functies.py · c54c9072
  2269767 authored 2 years ago
  
  c54c9072
- vorige + change die niet was gecommit · 2433a260
  2269767 authored 2 years ago
  
  2433a260
- parser precedence bij applications · 5391eccc
  2269767 authored 2 years ago
  
  5391eccc
- comments+leesbaarheid op functies.py · c31fa265
  2269767 authored 2 years ago
  
  c31fa265
- -reduce in main.py · 5812e5fa
  9691448 authored 2 years ago
  
  5812e5fa
- reduced nu ook de body van een abstraction · b1255515
  9691448 authored 2 years ago
  
  b1255515
Jan 17, 2023
- +functies file met reduce, substitute. +-parser · bce1a48d
  9691448 authored 2 years ago
  
  bce1a48d
- reduce volledig · 25033d08
  2269767 authored 2 years ago
  
  25033d08
- Parser werkt zonder conficts, wel extra haakjes · 48f5a153
  9691448 authored 2 years ago
  
  48f5a153
Jan 16, 2023
- reduction · b7f2967b
  2269767 authored 2 years ago
  
  b7f2967b
- Merge branch 'main' of https://git.science.uu.nl/jij-en-ik/lambda-calculus · 3556248a
  9691448 authored 2 years ago
  
  3556248a
- Parser manier om variable samen te voegen · a2b30d04
  9691448 authored 2 years ago
  
  a2b30d04
- whoops · 9ad38ca8
  2269767 authored 2 years ago
  
  9ad38ca8
- functiefs.py weg · 43704f74
  2269767 authored 2 years ago
  
  43704f74
Jan 15, 2023
- parsen abstractions werkt · 72f6724f
  2269767 authored 2 years ago
  
  72f6724f
- LT.sub, Ab.sub · bc574500
  2269767 authored 2 years ago
  
  bc574500
- werkt · df66bc61
  2269767 authored 2 years ago
  
  df66bc61
- dingen werken · 5b1c891b
  2269767 authored 2 years ago
  
  5b1c891b