Commits · ab9c7053252d1432aba81d1246d7a208ed1ac83d · Gilles Coremans / ASTTool · GitLab

23 Sep, 2019 3 commits
- Change more capitalization in printers · ab9c7053
  marton bognar authored Sep 23, 2019
  
  ab9c7053
- Add fresh variable generator functions to Haskell printer · 697cefbe
  marton bognar authored Sep 23, 2019
  
  697cefbe
- Move capitalization changes to printing · 7f4c069b
  marton bognar authored Sep 23, 2019
  
  7f4c069b
13 Sep, 2019 1 commit
- Create a directory for different printers, add a draft OCaml printer · 71dfa163
  marton bognar authored Sep 13, 2019
  
  71dfa163
12 Sep, 2019 5 commits
- Start cleaning up converter modules · 1171b2ba
  marton bognar authored Sep 12, 2019
  
  1171b2ba
- Rename Abstract to Program and clean up GeneralTerms · 99a03fdb
  marton bognar authored Sep 12, 2019
  
  99a03fdb
- Add lambda expressions and fix some HNat errors · b5355c0d
  marton bognar authored Sep 12, 2019
  
  b5355c0d
- Add some missing parentheses to the hs output · 02534e67
  marton bognar authored Sep 12, 2019
  
  02534e67
- Add some missing hs print cases, create a test file for the refactor · 6b7c0df1
  marton bognar authored Sep 12, 2019
  
  6b7c0df1
10 Sep, 2019 2 commits
- Refactor type declarations and HNat-related function generations · c7fbb44f
  marton bognar authored Sep 10, 2019
  
  c7fbb44f
- More Haskell printing · c8366e06
  marton bognar authored Sep 10, 2019
  
  c8366e06
09 Sep, 2019 1 commit
- Add a conversion function and start refactoring Haskell printing code · bd052f3e
  marton bognar authored Sep 09, 2019
  
  bd052f3e