🚀 go-pugleaf

|> 
|>    strangesucc n =	hd [x|x<-[0..];x>n];
|> 
	....
|> 
|>   - Stream.head(Stream.filter(fn x => x > 1000000,Stream.iota()));
|>   
|>   [Major collection... 21% used (3397260/15733684), 1920 msec]
|>   
|>   [Major collection... 21% used (3397288/15730836), 1910 msec]
|>   
|>   [Major collection... 21% used (3397288/15730948), 1920 msec]
|>   
|>   [Major collection... 21% used (3397288/15730888), 1920 msec]
|>   
|>   [Major collection... 21% used (3397288/15730888), 1910 msec]
|>   val it = 1000001 : int
|>   -

	Wonderfull  !!

	This is the kind of stuff that gives FP a bad name :-)

	Is their a transformation system which can prove that

	strangesucc x == x + 1 ?

	Joe