Update projects.json

japerezp · web-flow · commit 087887e70ba2 · 2026-01-12T20:53:11.000+01:00
diff --git a/_data/projects.json b/_data/projects.json
@@ -407,7 +407,7 @@ A written report, in the style of a scientific paper, that surveys in a self-con
 ",
         "tags": ["type theory", "concurrency", "logic"],
         "category": "BSc",
-        "available": 1
+        "available": 0
     },
 
     {

Original file line number	Diff line number	Diff line change
`@@ -407,7 +407,7 @@ A written report, in the style of a scientific paper, that surveys in a self-con`
`407`	`407`	`",`
`408`	`408`	`"tags": ["type theory", "concurrency", "logic"],`
`409`	`409`	`"category": "BSc",`
`410`		`- "available": 1`
	`410`	`+ "available": 0`
`411`	`411`	`},`
`412`	`412`
`413`	`413`	`{`