www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

t.lisp (1312B)


      1 (load "../bootstrap/1.2.7-read.lisp")
      2 (load "mini-meval")
      3 
      4 (defvar tmm nil)
      5 (setq tmm (read (open "tmm.lisp")))
      6 
      7 (defvar e-tmm nil)
      8 ;(setq e-tmm (make-etat list + - cons car cdr < > <= >= = make-symbol))
      9 
     10 (setf e-tmm (make-etat
     11 		   car
     12 		   caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr
     13 		   caaar
     14 		   caadr
     15 		   cadar
     16 		   caddr
     17 		   cdaar
     18 		   cdadr
     19 		   cddar
     20 		   cdddr
     21 		   caar
     22 		   cadr
     23 		   cdar
     24 		   cddr
     25 		   first
     26 		   second
     27 		   third
     28 		   fourth
     29 		   fifth
     30 		   sixth
     31 		   seventh
     32 		   eighth
     33 		   ninth
     34 		   tenth
     35 		   tree-equal
     36 		   char
     37 		   schar
     38 		   string
     39 		   string= 
     40 		   make-string
     41 		   equal
     42 		   eql
     43 		   eq
     44 		   cdr
     45 		   cons
     46 		   list
     47 		   oddp
     48 		   symbolp
     49 		   numberp
     50 		   stringp
     51 		   equalp
     52 		   +
     53 		   -
     54 		   *
     55 		   /
     56 		   =
     57 		   <
     58 		   >
     59 		   <=
     60 		   >=
     61 		   read
     62 		   funcall
     63 		   assoc
     64 		   mload
     65 		   mini-meval
     66            make-symbol
     67            print
     68            endp
     69            keywordp
     70            consp
     71            null
     72            atom
     73            length
     74            map
     75            identity
     76            last
     77            char=
     78            member
     79            intern
     80            format
     81            mapcar
     82            reverse
     83            acons
     84            append
     85            butlast
     86            not
     87            listp
     88 ))