From f92f2fde6caec1e80b62f71491a0c79bcb0e1060 Mon Sep 17 00:00:00 2001 From: pierrbt Date: Mon, 31 Oct 2022 01:09:26 +0100 Subject: [PATCH] Adding Coq hello world program (#1423) * Create Coq.v * Update readme.md * Removed useless things * Update c/Coq.v Co-authored-by: Gabe <66077254+MrBrain295@users.noreply.github.com> --- c/Coq.v | 11 +++++++++++ readme.md | 3 ++- 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 c/Coq.v diff --git a/c/Coq.v b/c/Coq.v new file mode 100644 index 00000000..ebba518c --- /dev/null +++ b/c/Coq.v @@ -0,0 +1,11 @@ +Require Import Coq.Lists.List. +Require Import Io.All. +Require Import Io.System.All. +Require Import ListString.All. + +Import ListNotations. +Import C.Notations. + +(** The classic Hello World program. *) +Definition hello_world (argv : list LString.t) : C.t System.effect unit := + System.log (LString.s "Hello World"). \ No newline at end of file diff --git a/readme.md b/readme.md index fc516234..7055c207 100644 --- a/readme.md +++ b/readme.md @@ -8,7 +8,7 @@ Thanks to everyone who continues to contribute; new languages are created every Make sure to see [contributing.md](/contributing.md) for instructions on contributing to the project! -## Languages (946 total) +## Languages (947 total) * [!](%23/%21) * [!@#$%^&*()_+](%23/%21%40%23%24%25%5E%26%E2%88%97%28%29_%2B) @@ -254,6 +254,7 @@ Make sure to see [contributing.md](/contributing.md) for instructions on contrib * [ContinuesEquation](c/ContinuesEquation.ce) * [Control Language](c/Control%20Language.cllc) * [Cool](c/Cool.cl) +* [Coq](c/Coq.v) * [Cor](c/Cor.cor) * [Coral 66](c/Coral%2066.cor) * [COW](c/COW.cow)