From 7207aa24dd5ab40a035f8e3f67cd4ad93e46c6fd Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Tue, 30 May 2023 11:30:19 +0200
Subject: [PATCH] [doc] Initial commit for documentation revamp with
interpretation
---
doc/index.rst | 1 +
doc/interpretation.rst | 22 ++++++++++++++++++++++
2 files changed, 23 insertions(+)
create mode 100644 doc/interpretation.rst
diff --git a/doc/index.rst b/doc/index.rst
index 455dd91..e543b2c 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -33,6 +33,7 @@ This work has been partly supported by the `Confiance.ai`_ program.
installation
usage
examples
+ contributing
genindex
CAISAR website <http://www.caisar-platform.com>
diff --git a/doc/interpretation.rst b/doc/interpretation.rst
new file mode 100644
index 0000000..4fab5e3
--- /dev/null
+++ b/doc/interpretation.rst
@@ -0,0 +1,22 @@
+.. _interpretation:
+
+The CAISAR modelling language
+=============================
+
+Origin: WhyML
+-------------
+
+Built-ins
+---------
+
+Available under ``stdlib/interpretation.mlw``.
+
+Several theories available to use in any property file.
+
+* Vector
+* NeuralNetwork
+* Dataset
+
+
+
+
--
GitLab