Comment by shaolinspirit

why there is no LAWS.bend in the bend repo to verify the correctness of the repo? like some of the C compilers are written in C