3 ms·formal > typed > untyped > unsound > vibedby seg_lol 10mo agoformal > typed > untyped > unsound > vibed