File: cons.html

package info (click to toggle)
drscheme 1%3A352-6
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 71,608 kB
  • ctags: 55,284
  • sloc: ansic: 278,966; cpp: 63,318; sh: 32,265; lisp: 14,530; asm: 7,327; makefile: 4,846; pascal: 4,363; perl: 2,920; java: 1,632; yacc: 755; lex: 258; sed: 93; xml: 12
file content (1 line) | stat: -rw-r--r-- 490 bytes parent folder | download 
1
 
<html><head><title>cons</title><h1>cons</h1></head><body><tt>cons : (X (listof X) -&gt; (listof X))</tt><br /><p>purpose: <br />to construct a list</p><br />Reductions:<br /><tt>(cons v v_1)</tt><tt> e--&gt; </tt><font color="red"><tt>cons: second argument must be of type &lt;list&gt;</tt></font><br />&nbsp;&nbsp;&nbsp;where <tt>v_1</tt> is not <tt>empty</tt>,  and <tt>v_1</tt> is not <tt>(cons ...)</tt><br /><br /><p><a href="index.htm">Beginning Student Language</a></p></body></html>