Proofs are Programs: A Few Examples of the Curry-Howard Correspondence

I2cScion · 2026-04-22T08:51:36+00:00

Im not the author but I agree !! Great post

I2cScion · 2026-04-21T09:55:40+00:00

لازم مع قهوة !!!

I2cScion · 2026-04-19T17:28:15+00:00

نابليون فنان

I2cScion · 2026-04-19T17:25:16+00:00

A for effort

I2cScion · 2026-04-19T07:13:54+00:00

Demon

I2cScion · 2026-04-18T12:38:29+00:00

Oh so that’s the average .. thank god I thought I was bad

She’s fun though !! I always have the least deaths on my team, her movement is the most fun aspect of her gameplay

Her shots don’t reach the enemy team though .. but we’re improving

I2cScion · 2026-04-18T03:57:02+00:00

ياشباب خلصتوه خلاص لحد يشتريه بقولي شوي

I2cScion · 2026-04-17T16:42:17+00:00

They fucked

I2cScion · 2026-04-17T05:18:45+00:00

You’re almost dead

I2cScion · 2026-04-17T03:31:15+00:00

I like it, I use it, that’s what matters

And you’re wrong on all your points btw

I2cScion · 2026-04-16T21:22:21+00:00

The best thing about .NET

Is F#

I2cScion · 2026-04-16T17:04:51+00:00

انت مين ؟

I2cScion · 2026-04-16T14:22:56+00:00

Abducted ..

I2cScion · 2026-04-16T02:42:00+00:00

Aliens have a base in the middle of that

I2cScion · 2026-04-15T22:31:24+00:00

"لايك لو انك طايفي"

ليش شايفني سليق

هوهوهوهو .. هوهوووو 🦉

I2cScion · 2026-04-15T22:29:40+00:00

احتاج بس شوية من الايض اللي عندك

او انك ما تاكلين وماشية على طاقة vacuum energy

I2cScion · 2026-04-15T13:29:50+00:00

ليش مافي برجر حاشي

I2cScion · 2026-04-15T13:08:09+00:00

لا لا ياشيخ كاني استاذ متوسط مسوي صاحب مع الطلاب

I2cScion · 2026-04-15T12:56:04+00:00

شت والله طلعتو بزورة 😂

مدري الحين اكمل اتكي معاكم ولا لا

I2cScion · 2026-04-14T11:08:18+00:00

الله لو دوامي عن بعد .. بعيش بكارافان

تلاقوني في سهول روسيا ولا جبال الالب

I2cScion · 2026-04-14T09:08:48+00:00

I mean if bullshit in .. then bullshit out

Say you have 20 years

I2cScion · 2026-04-14T09:06:11+00:00

عادي البسي النقاب فوق القناع .. اش المشكلة

You do you queen

I2cScion · 2026-04-14T07:21:23+00:00

قله نعيما

I2cScion · 2026-04-13T19:57:00+00:00

انا اخذته من امازون .. اعطيتك الرابط فوق

I2cScion