Commits · f2065159491894aef293d42618c559cfc76340a5 · PLMZ / iTypes

30 Sep, 2019 1 commit
- fo recursive type language in MPS · 345377ca
  André Pacak authored Sep 30, 2019
  
  345377ca
22 Aug, 2019 1 commit
- functional implementation of typechecker (sumtypes) in IncA · e7e43255
  André Pacak authored Aug 22, 2019
  
  e7e43255
08 Aug, 2019 2 commits
- working type checker for sum types in IncA · b8c94b58
  André Pacak authored Aug 08, 2019
  
  b8c94b58
- fixed MPS related stuff (meeting) · 286eeadb
  André Pacak authored Aug 08, 2019
  
  286eeadb
06 Aug, 2019 1 commit
- partial implementation of type check in inca with sum types · 469fb010
  André Pacak authored Aug 06, 2019
  
  469fb010