[theory] What is a type?

[Jonathan Marler]

On Monday, 15 January 2018 at 19:34:23 UTC, Ali Çehreli wrote:
>
> On 01/15/2018 10:58 AM, Jonathan Marler wrote:
> > On Sunday, 10 October 2010 at 12:28:32 UTC, Justin Johansson
> wrote:
>
> > I'm getting "nostalgia" from all the math terminology :)
>
> Just the date of the post you're responding to is sufficient 
> for "nostalgia". ;)
>
> Ali

Oh wow!  I don't know why the form post was on the first page of 
my form thread. You think he still checks his thread every day to 
see if someone has responded?  :)