Snapkitty
/

snapkitty-clojure-lisp-bridge

Model card Files Files and versions

snapkitty-clojure-lisp-bridge / lean-formalization /skclisp /Main.lean

SNAPKITTYWEST's picture

push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge

119e586 verified about 1 month ago

Raw History Blame Contribute Delete

75 Bytes

	import Skclisp

	def main : IO Unit :=
	IO.println s!"Hello, {hello}!"