##typetheory

Network: freenode

Modes: +nt

Last Seen: 2 hours ago

Topic:

#1,421

Rank

Users

Channel Quotes

Memorable quotes from ##typetheory on freenode

View All

Be the first to submit a memorable quote from ##typetheory!

Total Quotes