toot.cat is one of the many independent Mastodon servers you can use to participate in the fediverse.
On the internet, everyone knows you're a cat — and that's totally okay.

Administered by:

Server stats:

427
active users

Or in Lisp: (cons cat (cons cat nil))

In Rust: Box<(Cat, Box<Cat>)>

Public

@vivia typo police! 😂

Public

@zeenix 😹😹 I'm clearly more used to C than to Lisp!

Public

@vivia you can always lean on @wingo for all things lisp

Public

@vivia def f[Box : F, Cat, A, F[A, F[A]]]: Box[Cat, Box[Cat]] =

Public

@joshuakfarrar What language is this? 😅

Public

@vivia .borrow().to_owned()
Damn I cloned it

Public

@vivia Schrodinger not prepared for this

Public

@vivia In JSON:
{ 'item':'box', 'contains':[{ 'item':'cat' },{ 'item':'box', 'contains':[{ 'item':'cat' }] }] }

Public

@vivia fantastic