Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Prelude_even_1.hs
details
attribute
value
description
owner
Johannes Waldmann
uploaded
2017-08-17 03:45:02.0
disk size
41 Bytes
downloadable
true
type
attribute
value
name
no_type
processor id
1
description
this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community
none
contents
{-# htermination even :: Int -> Bool #-}
popout
content may be truncated. 'popout' for larger text window.
actions
get anonymous link
download benchmark