File: first.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-- 753 bytes parent folder | download 
1
 
<html><head><title>first</title><h1>first</h1></head><body><tt>first : ((cons Y (listof X)) -&gt; Y)</tt><br /><p>purpose: <br />to select the first item of a non-empty list</p><br />Reductions:<br /><tt>(first (cons v_1 list-value))</tt><tt> --&gt; </tt><tt>v_1</tt><br /><tt>(first)</tt><tt> e--&gt; </tt><font color="red"><tt>first: expects one argument</tt></font><br /><tt>(first v v v ...)</tt><tt> e--&gt; </tt><font color="red"><tt>first: expects one argument</tt></font><br /><tt>(first v_1)</tt><tt> e--&gt; </tt><font color="red"><tt>first: expects argument of type &lt;pair&gt;</tt></font><br />&nbsp;&nbsp;&nbsp;where <tt>v_1</tt> is not <tt>(cons ...)</tt><br /><br /><p><a href="index.htm">Beginning Student Language</a></p></body></html>