All Questions
Tagged with static-typing symbol-solving
1
question
4
votes
1
answer
170
views
Supporting a statically-typed language in an IDE?
I'm almost finishing my open-source language's verifier. It performs parsing and verification, which ensures a set of programs are valid both syntatically and semantically at compile-time. To start ...