Commits · master · Logika / lambda calculus type inference

May 14, 2023
- better formatting for type · 20509f0f
  Naufal Alauddin Hilmi authored 2 years ago
  
  20509f0f
- Simple interface · b9a7f836
  Naufal Alauddin Hilmi authored 2 years ago
  
  b9a7f836
- add module header and import · 0b1580ab
  Naufal Alauddin Hilmi authored 2 years ago
  
  0b1580ab
- add parentheses to allowed token · 71eff6f6
  Naufal Alauddin Hilmi authored 2 years ago
  
  71eff6f6
May 13, 2023
- atom to lambda calculus ast · ab466221
  Naufal Alauddin Hilmi authored 2 years ago
  
  ab466221
- delegate variable validation · a857b85a
  Naufal Alauddin Hilmi authored 2 years ago
  
  a857b85a
- add lambda calculus parser with dcg · cde4c249
  Naufal Alauddin Hilmi authored 2 years ago
  
  cde4c249
Mar 27, 2023
- [WIP] parser · 3e845428
  Taufik Algi F authored 2 years ago
  
  3e845428
- Add simple interface input window · a284ebed
  AHMAD GHOZI FIDINILLAH authored 2 years ago
  
  a284ebed
Mar 26, 2023
- Add explanation on predicate type · d7efeb52
  Naufal Alauddin Hilmi authored 2 years ago
  
  d7efeb52
- Type inference rule · 80f45104
  Naufal Alauddin Hilmi authored 2 years ago
  
  80f45104
Mar 24, 2023
- Add other file · f68ec992
  Naufal Alauddin Hilmi authored 2 years ago
  
  f68ec992
- parse task · 0aae1eb6
  Naufal Alauddin Hilmi authored 2 years ago
  
  0aae1eb6
- Initialize Project · 2dd7d3e7
  Naufal Alauddin Hilmi authored 2 years ago
  
  2dd7d3e7