14 ms·Ari – type-centred functional programming language designed to type binary files2 points by pabs3 3y ago