From c6ea5baafefbacea88f9e61906f85d52cda594c8 Mon Sep 17 00:00:00 2001
From: engboris <engboris@hotmail.fr>
Date: Wed, 3 Dec 2025 22:20:17 +0100
Subject: [PATCH] Remove projects

---
 content/projects.md | 58 ---------------------------------------------
 hugo.toml           |  8 +------
 2 files changed, 1 insertion(+), 65 deletions(-)
 delete mode 100644 content/projects.md

diff --git a/content/projects.md b/content/projects.md
deleted file mode 100644
index c79617f..0000000
--- a/content/projects.md
+++ /dev/null
@@ -1,58 +0,0 @@
----
-title: "Projects"
----
-
-# Reading
-
-## >> Wittgenstein's "De la certitude"
-
-Participants: Vincent Moreau, Tito, Boris Eng, Sidney Congard.
-
-# Development of Girard's Transcendental Syntax
-
-## >> Development of the Stellogen programming language
-
-<div class="desc-box">Participants: Boris Eng.</div>
-Stellogen is a minimalistic and logic-agnostic programming language based on
-term unification. The goal is to develop a programming language and a guide
-(in the idea of Software Foundations for Coq) in order to make the ideas of
-Girard's transcendental syntax more accessible. Exercises (with solutions) have
-to be designed to open the development of transcendental syntax to
-contributions.
-
-- [https://github.com/engboris/stellogen](https://github.com/engboris/stellogen)
-- [https://tsguide.refl.fr](https://tsguide.refl.fr)
-- [https://tsguide.refl.fr/en](https://tsguide.refl.fr/en)
-
-## >> A new manifest for transcendental syntax
-
-<div class="desc-box">Participants: Boris Eng.</div>
-Writing of a roadmap for transcendental syntax with an analysis of various
-fields of logic and computation and several links with other fields. The point
-is to show that transcendental syntax is actually a big project.
-
-## >> Tunes OS: a reflexive operating system
-
-<div class="desc-box">Participants: Jérémy Hervé, Faré.</div>
-Exploration of the idea of a reflexive operating system which would be based
-of a minimal and reliable kernel of computation and which should be able to
-perform navigation and alteration between several levels of abstraction within
-a same system. Investigate on whether transcendental syntax can be involved
-here.
-
-# Past activities
-
-## >> Reading of Kant
-
-Participants: Ambroise Lafont, Sidney Congard, Jérémy Hervé, Luc Pommeret, Paul
-Séjourné.
-
-## >> Reading and comments on Krivine's "Les décompilateurs"
-
-By Boris Eng.
-
-## >> Normalisation by Evaluation (NbE)
-
-Participants: Vincent Moreau, Ambroise Lafont, Tito, Valentin Maestracci,
-Sidney Congard.
-
diff --git a/hugo.toml b/hugo.toml
index 2618aac..b463acf 100644
--- a/hugo.toml
+++ b/hugo.toml
@@ -21,19 +21,13 @@ name = "Members"
 url = "/members/"
 weight = 20
 
-[[languages.en.menu.main]]
-identifier = "projects"
-name = "Projects"
-url = "/projects/"
-weight = 30
-
 [[languages.en.menu.main]]
 identifier = "refli2025"
 name = "ReFLi 2025 Meeting"
 url = "/refli2025/"
 weight = 35
 
-[[languages.en.menu.main]]
+[languages.en.menu.main]]
 identifier = "meetings"
 name = "Meetings"
 url = "/meetings/"