icfpc2020-galaxy-0.1.0.0: A strange message received at the Pegovka observatory

Safe HaskellNone
LanguageHaskell2010

Alien.Prelude

Synopsis

Documentation

eq :: Integer -> Integer -> p -> p -> p Source #

lt :: Integer -> Integer -> p -> p -> p Source #

s :: b Source #

c :: (t1 -> t2 -> t3) -> t2 -> t1 -> t3 Source #

b :: (t1 -> t2) -> (t3 -> t1) -> t3 -> t2 Source #

t :: p1 -> p2 -> p1 Source #

f :: p1 -> p2 -> p2 Source #

i :: p -> p Source #

car :: ((p1 -> p2 -> p1) -> t) -> t Source #

cdr :: ((p1 -> p2 -> p2) -> t) -> t Source #

nil :: b Source #

isnil :: ((p1 -> p2 -> p3 -> p4 -> p4) -> t) -> t Source #

Translation note: a conforming implementation is isnil x = x (t (t f)) or isnil = c i (t (t f)).