6 Commits

Include renames

Author	SHA1	Message	Date
ncannasse	56ddc3c24e	more typing	2018-09-20 18:21:17 +02:00
ncannasse	1ac194ed1d	more typing	2018-09-19 18:42:06 +02:00
ncannasse	62bf5d4cc9	more typing, added top down inference	2018-09-19 15:11:29 +02:00
ncannasse	eb3992dbdb	separate Checker / CheckerTypes	2018-09-18 14:35:36 +02:00
ncannasse	8c5f9cc1d3	more type checking	2018-09-17 11:52:29 +02:00
ncannasse	ed78703090	added type checker (partial)	2018-09-12 18:00:34 +02:00