From e58a65369b0e36064c9dd3501b42602791a835ff Mon Sep 17 00:00:00 2001 From: Dominic Date: Sun, 16 Oct 2022 20:26:51 +0200 Subject: [PATCH] update readme --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 2ae5835..698b42b 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ -# Compiler +# P³L Compiler -This is a compiler for a heap-manipulating symbolic probabilistic programming language -that I'm designing as part of my bachelor thesis. +This is a compiler for P³L (probabilistic pointer programming language) that I design +as part of my bachelor thesis. ## Types