Commits · main · Research / Type Systems

09 Nov, 2021 6 commits
- Update README.md · 8a18b1a3
  Nicolas Lenz authored Nov 09, 2021
  
  8a18b1a3
- Add CI · 3ae8c5fd
  Nicolas Lenz authored Nov 09, 2021
  
  3ae8c5fd
- Update readme · 80ccd987
  Nicolas Lenz authored Nov 09, 2021
  
  80ccd987
- Implement typechecker · 1398c871
  Nicolas Lenz authored Nov 09, 2021
  
  1398c871
- Init · 57fe5aeb
  Nicolas Lenz authored Nov 09, 2021
  
  57fe5aeb
- Initial commit · eb90cdec
  Nicolas Lenz authored Nov 09, 2021
  
  eb90cdec