blue-lang-check
cargoblue's typing ladder: zero analysis at rung 0, checked where declared, obligations discharged at the seam.
Audits
No audits for this package yet.
blue's typing ladder: zero analysis at rung 0, checked where declared, obligations discharged at the seam.