*1*
((define-program (examples hello-world) (import (standard-utilities core) (standard-utilities console-io)) (define main (lambda (() <none> nonpure) (console-print-string "Hello, world!") (console-newline)))))
*2*
;; -*-theme-*-

;; Copyright (C) 2014  Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/gpl.txt.

;; Expected results: translation and running OK


(define-program (examples hello-world)

  (import (standard-utilities core)
	  (standard-utilities console-io))

  (define main
    (lambda (() <none> nonpure)
	(console-print-string "Hello, world!")
	(console-newline))))

*3*
0 ;; -*-theme-*-
1 
2 ;; Copyright (C) 2014  Tommi Höynälänmaa
3 ;; Distributed under GNU General Public License version 3,
4 ;; see file doc/gpl.txt.
5 
6 ;; Expected results: translation and running OK
7 
8 
9 (define-program (examples hello-world)
10 
11   (import (standard-utilities core)
12 	  (standard-utilities console-io))
13 
14   (define main
15     (lambda (() <none> nonpure)
16 	(console-print-string "Hello, world!")
17 	(console-newline))))
