fix generalisation
authorMart Lubbers <mart@martlubbers.net>
Mon, 12 Apr 2021 09:51:45 +0000 (11:51 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 12 Apr 2021 09:51:45 +0000 (11:51 +0200)
commit3f9d78e3849107bde8d5eb2a9668c2391f0bdcc0
treee0fdee7d000718c872862e796982fc69780d857d
parent8ca5cb246842b10295cbb3e12516cb1eae4efc08
fix generalisation
compilec.bash [deleted file]
sem/hm.c
sem/hm/gamma.c
sem/hm/gamma.h
sem/hm/scheme.c
sem/hm/scheme.h
sem/type.c
type.c
type.h