Skip to content

Instantly share code, notes, and snippets.

@dlintw

dlintw/helloworld.tla

Created January 30, 2017 16:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dlintw/a70a4cc16ea3bce8655156310595ac66 to your computer and use it in GitHub Desktop.
Save dlintw/a70a4cc16ea3bce8655156310595ac66 to your computer and use it in GitHub Desktop.
Download ZIP
hello world of +cal (pluscal language)
Raw
helloworld.tla
---- MODULE helloworld ----
EXTENDS TLC
(*
--algorithm helloworld
begin print "Hello, world."
end algorithm
*)
====
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment