fork(7) download
copy 
  1. f s=and[all(j i-2<)[j$i-x|x<-s,x<i]|i<-[1..2*last s]]where j 0=0;j i=1+j(i-last(filter(<=i)s))
  2. main = print (f [1,2,3,99])
Success #stdin #stdout 0s 4704KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
True
https://ideone.com/C022x0
language:
Haskell (ghc 8.4.4)
created:
7 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!