/prog/ - ACL2 — Tinychan BBS

Name: Anonymous 2014-07-06 1:33

(defun replace-ints (x)

  (cond ((endp x) nil)                    

        ((integerp (car x))              
         (cons 'I                         
               (replace-ints (cdr x))))   

        (t                                
         (cons (car x)                    
               (replace-ints (cdr x))))))

Name: Anonymous 2014-07-06 7:22

>>9
You should read up on "logic" sometime, particularly on the difference between necessary conditions and sufficient ones.

Name: Anonymous 2014-07-06 7:25

>>11
You should read up on "my dick" sometime, particularly on how much more pussy it gets than yours.

Name: Anonymous 2014-07-06 7:42

>>12
You should read up on ⁶⁶the medical consequences of prolapsing >>11-chan's anus⁹⁹ sometime, particularly on how uncomfortable it makes >>11-chan to sit.

Name: Anonymous 2014-07-06 7:46

>>13
As it so happens I am actually an M.D and I did my dissertation on that exact thing.

Name: Anonymous 2014-07-06 9:04

>>13
I am not a chan, or a blog, or a forum. I am a person.

Name: Anonymous 2014-07-06 9:11

>>15
日本語が分からない人だろうね

Name: Anonymous 2014-07-06 9:24

>>16
Fuck off, soulless Zerg.

Name: Anonymous 2014-07-06 12:14

>>17

kekekeke

Name: Anonymous 2014-07-06 12:54

>>6

Advantages
Easier to read, compare: (+ (expt 2 30) 2) with [+ [expt 2 30] 2]

IHBT

Name: Anonymous 2014-07-06 13:02

>>19
So you think that "change all parentheses to square brackets and Clojure will become Obj-C" is a valid argument?

Name: Anonymous 2014-07-06 15:42

>>20

It will. Objective-C is shit. So...

Name: Anonymous 2014-07-06 23:52

>>21
So fresh 2014, all the hottest hits you know and love

ACL2

1 Name: Anonymous 2014-07-06 1:33

11 Name: Anonymous 2014-07-06 7:22

12 Name: Anonymous 2014-07-06 7:25

13 Name: Anonymous 2014-07-06 7:42

14 Name: Anonymous 2014-07-06 7:46

15 Name: Anonymous 2014-07-06 9:04

16 Name: Anonymous 2014-07-06 9:11

17 Name: Anonymous 2014-07-06 9:24

18 Name: Anonymous 2014-07-06 12:14

19 Name: Anonymous 2014-07-06 12:54

20 Name: Anonymous 2014-07-06 13:02

21 Name: Anonymous 2014-07-06 15:42

22 Name: Anonymous 2014-07-06 23:52