From 839ea58843c1b16ad19d519edf7ea0a33590d4c2 Mon Sep 17 00:00:00 2001 From: Francesco Magliocca Date: Wed, 18 May 2022 21:23:53 +0200 Subject: [PATCH] Update readme --- README.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index c9a2bf6..9f8927c 100644 --- a/README.md +++ b/README.md @@ -8,13 +8,12 @@ Interpreter for a Minimal ML-like language whose ideal goal is to be used for bo milly's interpreter is written in portable ISO C11, sources are in `src/` and header files are in `include/`. -If your system happens to have a `make` implementation compatible with **GNU Make**, you can just run: +In order to build it, you must have **GNU Make** installed (in the future i'll try to remove this dependency) +and you just have to run: -> make +> $ make -Otherwise, something like this should work: - -> $(CC) -std=c11 -o milly -Iinclude/ src/*.c +in the project root to obtain the executable `milly`. ## The language @@ -33,6 +32,7 @@ here is a list of the features (or better, limitations) I want to introduce: - Automatic currying of functions, with optimised partial evaluation (unfeasible) - Delimited continuations (this is an overkill) - Easy syntax allowing easy kakoune support +- A formal specification (this should be quite manageable to do, and also a good way to learn denotational semantics) milly's full grammar is specified as a pair of lex and yacc files in `ref_parser/`.