work on type inference some more
[ccc.git] / sem / hm / gamma.h
2021-02-17 Mart Lubberswork on type inference some more develop master