Commits · a4b5e0f04b4cfeb08fff3089b15f296f45f1e1f9 · Grant Weddell / LDI

Mar 07, 2019
- Fix repo · a4b5e0f0
  expan authored 6 years ago
  
  a4b5e0f0
- i hope this works · c4a877ee
  expan authored 6 years ago
  
  c4a877ee
- Add more grammar stuff · ce5b2608
  JasonJPu authored 6 years ago
  
  ce5b2608
- Fix consistency · f8af09ad
  JasonJPu authored 6 years ago
  
  f8af09ad
- Added term,col,attr,var · 5b9afe05
  expan authored 6 years ago
  
  5b9afe05
- Add missing stuff · fd0577e7
  JasonJPu authored 6 years ago
  
  fd0577e7
- Update grammar · daccfc1d
  JasonJPu authored 6 years ago
  
  daccfc1d
Feb 10, 2019
- Added limit and elim · 026b7bcd
  Louis Castricato authored 6 years ago
  
  026b7bcd
- Added code for cross, proj, and not · faff81ba
  expan authored 6 years ago
  
  faff81ba
Feb 09, 2019
- Add code for atoms · d28369c0
  JasonJPu authored 6 years ago
  
  d28369c0
Feb 03, 2019
- Add cons cell · 62f61901
  JasonJPu authored 6 years ago
  
  62f61901
Nov 28, 2018
- Added translate function to get a list-style parse tree for pattern matching · cae50ade
  Lu Wang authored 6 years ago
  
  cae50ade
Nov 14, 2018
- Added grammar rules, building parse tree · f7924ced
  Lu Wang authored 6 years ago
  
  f7924ced
Aug 24, 2018
- Update README.md · 34e30e3b
  Grant Weddell authored 6 years ago
  
  34e30e3b
Aug 22, 2018
- Update README.md · 632bb78b
  Grant Weddell authored 6 years ago
  
  632bb78b
- Update README.md · 6f7cb416
  Grant Weddell authored 6 years ago
  
  6f7cb416
- Add readme.md · 0da617bf
  Grant Weddell authored 6 years ago
  
  0da617bf
- Add license · aa6b592b
  Grant Weddell authored 6 years ago
  
  aa6b592b