Viewing a single comment thread. View all comments

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

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

8 points (+8, −0)

Short URL:

https://jstpst.net/2947

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

Created July 31, 2018
Subscribe via RSS

Toolbox

Moderators

no_defun_allowed

See full list