5 ms·I was looking for something specific to type systems, but this is a good start.by jackfoxy 9y agoI was looking for something specific to type systems, but this is a good start.