Contents

F A 2.6.2, b   [:.c.2.6.2--. cu].
modu owod w

  A.Bu.IO u (IO)
  A.Bu.U  (⊤  U)
  A.Bu.S u (S)

u uSL : S - IO U
{-# FOREIGN GHC  quf D.T  T #-}
{-# COMPILE GHC uSL = uSL . T.uc #-}

 : IO U
 = uSL "H !"

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
zettacode-0.1.0	zettacode.files/hello_world.text/agda.txt