update readme

This commit is contained in:
Dominic 2022-10-16 20:26:51 +02:00
parent 3f507064ce
commit e58a65369b
Signed by: msrd0
GPG key ID: DCC8C247452E98F9

View file

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