juvix/examples/milestone/HelloWorld/HelloWorld.juvix

-- HelloWorld.juvix
module HelloWorld;

open import Stdlib.Prelude;

main : IO;
main := printStringLn "hello world!";
Add HelloWorld example and minor other fixes README 2022-08-08 13:07:50 +03:00			`-- HelloWorld.juvix`
			`module HelloWorld;`

CI pre-commit maintenance (#1905) This PR goes after: - #1797 Included in this PR: - Add Clang formatting (v.15) as part of the pre-commits. - Add new pre-commits: - forbid binary files - check toml files for mdbook - detect-private-key - format-juvix-examples: check all the Juvix programs in the `examples` folder type-check for local runs. - Remove .pre-commit-hooks and add ormolu for local pre-commit runs instead. 2023-03-23 11:57:38 +03:00			`open import Stdlib.Prelude;`

			`main : IO;`
			`main := printStringLn "hello world!";`