Allow unordered definitions

Open mimoo opened this issue 1 year ago • 1 comments

Right now noname requires people to write things in order, like a scripting language. We could do two passes, one to just get the signatures, another to actually typecheck. During name resolution or after

Mar 28 '24 06:03 mimoo

note that we also import all std libs right now because we have no way of knowing the dependency graph in advance

Oct 23 '24 22:10 mimoo