ParentFull threadmaerF0x0·15% is from this paper as I recall it: http://ttendency.cs.ucl.ac.uk/projects/type_study/documents/...https://blog.acolyer.org/2017/09/19/to-type-or-not-to-type-q...View on HN