Vigil, the eternal morally vigilant programming language
github.com
github.com
> How?
> Simple: it will be deleted from your source code.
> The only way to ensure your program meets its requirements is to absolutely forbid code that fails to do so. With Vigil, this shall be done for you automatically. After enough runs, Vigil promises that all remaining code meets its oaths.