Comment on Show HN: CommitQ – Programming language-aware Git repository hostingparentComments−wvs13yhttp://www.impredicative.com/ur/ has a very strong type system that claims to statically prevent any kind of code injection outright.
Comments
http://www.impredicative.com/ur/ has a very strong type system that claims to statically prevent any kind of code injection outright.