4 ms·Tests and type signatures. Hopefully soon, dependently typed signatures.by Jeff_Brown 4y agoTests and type signatures. Hopefully soon, dependently typed signatures.