Safely Typed
VinaLx
PhD Student @ HKU
Type Theory Apprentice & Video Game Addict
[ home ]
[ Archive ]
[ Categories ]
[ Tags ]
Hello World
6 SEP 2017
•
1 min read
main
::
IO
()
main
=
putStrLn
"Hello world"
Share on:
Twitter
Facebook
Google+
Hacker News
Reddit