You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Sep 3, 2020. It is now read-only.
Basically the idea is that it adds explicit types to variable declarations to make code easier to maintain after it has been written.
I was wondering if there was any way we could integrate functionality. Right now I'm getting my type information by telling my command line utility to compile with -print. This generates desugared source code with type information that can be extracted (using regular expression).