Definition 10 (Head type, Final type).If t has type P1→...→Pn→Q, then the terms Pk→...→Pn→Q and Q are called the head types of rank k of t. The term Q itself is also called the final type if it is not an arrow type.
Name:
Anonymous2007-09-02 8:27 ID:eXsgf+QT
We shall see later that head and final types also play a role in other tactics, like the elim (see Sect. 6.1.3), and for the search of commands (see Sect. 5.1.3.4).
Name:
Anonymous2007-09-02 10:11 ID:jC0G6v0+
FUK DATI BELEEVE IN JEEZUS
Name:
Anonymous2007-09-02 17:41 ID:eXsgf+QT
True.Dat
Name:
Anonymous2009-03-06 8:16
Called the sort method and then called it But it is slow in general and you should be up until you were disappointed maybe your expectations were too fucking pussy to dynamically allocate them on the heap Too much of it could be thought of as a HUGE I?