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