News for hackers. Stuff that matters.
Re:Korean as a Concatenative, Stack-Oriented Language by BalinKing on Sunday April 16, 2023 @09:01PM (#35595667)
> Curry-Howard-Correspondance

Did you mean the Church-Turing thesis? (I still don’t really see the connection though….)

There are no comments on this comment yet.