kantan-lang
kantan-lang copied to clipboard
don't allow pointers to Mod or other non-runtime abstractions (e.g Types)
should we actually check this here, or just in the typechecker itself?
should we actually check this here, or just in the typechecker itself?