this website should be tpst.net

Submitted by musou at November 8, 2018, 7:19 PM in church_of_alonzo_church

Viewing a single comment thread. View all comments

Moonside wrote at November 9, 2018, 7:54 PM

I used to used this site until I found out its code wasn't dependently typed.

the church of alonzo church

λλλλλλ
λλλλλλλλ
      λλλλ
        λλ
        λλλλ
        λλλλ
      λλλλλλλλ
      λλλλλλλλ
      λλλλ  λλ
    λλλλλλ  λλλλ
    λλλλ      λλ
  λλλλλλ      λλλλ
  λλλλ        λλλλ

β-reducing for life

rules

only MLs (SML, Haskell, OCaml) and Lisps (Scheme, CL, Racket for all 2 people who use that) allowed
- fuck off Hy users, you're just Python lusers
- you too Clojure, you're just shitty Java with more parens and hipsters gave you exposure
no :=, <- or setf allowed
must be able to recite the Y combinator when asked
no rust (lang and game) or JS
brendan eich cannot come within 50 metres of this forum

talky talk with us on #symbolics2:matrix.org

Toolbox

Moderators

no_defun_allowed