Message from @Σ5
Discord ID: 628273700826775570
<|º_º|>
I wonder if there will be questions about the shape of the earth
Idk
Wanted to make a haha joke
haha
Tnx bae
I'd like the ability to post images
Never heard of any of them before 🤔
Are them real?
I'm about to go find out I suppose
You will probably conclude yes
Morning
Satan has been the best friend the church has ever had, as he kept it in business all these years.
@Metallica good morning. 😃
Hey Gwench
I have no clue what to do rn
math
Why not both at the same time
why not a programming language that does those 2
learn type theory
<:snapsnap:484956825863585792>
<:stop:625512095944802331>
Honestly I'm still new here so I'm trying to figure.out how to not offended anyone here accedently and the views of the owners. I was Basiclly almost banned from a diffrent server.just.for having a diffrent view then the admins :T
@Slash read <#484513575801454593>
Well for starters... Gwench and Citizen are the owners.
I have read the community guidelines.
Sorry for being like so cautious and like suspicious, but the other server was also one where you were suppost to be able to debate in a civil way
when the leading mathematicians can't define what equality is in type theory
There’s a channel called civil debate as well.
Yea I've seen it
I'll just try to keep my head low until I get a feel for things
everything is basicly nailed down in type theory
The great debate in type theory is equality
Alright
strange
Such a simple consept and they haven't nailed it down yet
Ok, he's just honestly confusing me more then anything
😆
sometimes the simplest of questions have either complicated or unintuitive answers




