cmd+k|ctrl+k
cmd+k
ctrl+k
Navigation
Browse public code snippets.
Contact us about glot.io.
Read the privacy policy.
Manage snippets in your account.
Open your account settings.
Languages
Create a new Python snippet.
Create a new TypeScript snippet.
Create a new C snippet.
Create a new Rust snippet.
Create a new Java snippet.
Idris
public
elivais777
2024-11-29T10:27:49.601056Z
module Main main : IO () main = putStrLn "Hello World!"