|
|
 |
| found 28 articles for 0.302 sec |
  |
|
Group: free.spam · Group Profile · Search for Tests2 in free.spam
Author: John Doe
Date: Jul 21, 2008 00:01
On Fri, Jun 20, 2008 at 3:30 AM, Benedikt Huber <benjovi@gmx.net> wrote: Levi Stephen schrieb: Hi, I have the following definitions type Zero type Succ a so that I can muck around with a Vector type that includes its length encoded in its type. I was wondering whether it was possible to use SmallCheck (or QuickCheck) to generate random Peano numbers
|
| Show full article (2.10Kb) |
Group: alt.toronto · Group Profile · Search for Tests2 in alt.toronto
Author: gmat
Date: Jul 18, 2008 19:00
On 10 Jun, 14:02, iw1j...@COMCAST.NET (Ian Whitlock) wrote: Summary: Call Symput location of variable #iw-value=1 Karma, CALL SYMPUTX or CALL SYMPUT by default place the variable in the local symbol table if it is not empty. If it is empty it searches outward for the first table that is not empty. CALL SYMPUTX has a third argument that controls whether to use the default, place in
|
| Show full article (0.87Kb) |
|
 |
|
1 ·
2 ·
3 ·
next |
|
|