Remove projects

content/projects.md

@@ -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.
-

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/"