Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Prelude_id_1.hs
details
attribute
value
description
owner
Akihisa Yamada
uploaded
2020-06-20 22:51:07.0
disk size
34 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 id :: a -> a #-}
popout
content may be truncated. 'popout' for larger text window.
actions
get anonymous link
download benchmark