hello-world
Anonymous
haskell
11/23/2022 11:19 PM
184 B
12
Indexable
{-# OPTIONS --guardedness #-}
module hello-world where
open import IO
open import Level
main = run {0ℓ} (putStrLn "Hello, World!")
Editor is loading...
{-# OPTIONS --guardedness #-}
module hello-world where
open import IO
open import Level
main = run {0ℓ} (putStrLn "Hello, World!")