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
module Main main : IO () main = putStrLn "Hello World!"