4 ms·That paper is how I learned of/about HtDP existing.by no_identd 8y agoThat paper is how I learned of/about HtDP existing.