diff --git a/readme.md b/readme.md index 2bd5efe..f50118a 100644 --- a/readme.md +++ b/readme.md @@ -1,7 +1,12 @@ # IBAFlang (Imperative But Also Functional language) +As you may realise from reading the language definition, the language is more I than F. That's why this is just version 0.1 of IBAF. This repo contains the projects for IBAF. -- `cbs` is the project that contains the source `.cbs` files that defines the language. -- `Editor` is the Spoofax project that can be used to build the IDE for IBAF. -- `Tests` is a project containing some example programs. +- `IBAF-cbs` is the project that contains the source `.cbs` files that defines the language. +- `IBAF-Editor` is the Spoofax project that can be used to build the IDE for IBAF. +- `IBAF-Tests` is a project containing some example programs and the funcon terms they compile to. +## Some relevant papers: +- CBS introduction: [Software meta-language engineering and CBS](https://doi.org/10.1016/j.jvlc.2018.11.003) +- In-depth look at funcons: [Fundamental Constructs in Programming Languages](https://doi.org/10.1007/978-3-030-89159-6_19) +- In-depth look at the CBS workbench/editor: [A Component-Based Formal Language Workbench](https://doi.org/10.4204/eptcs.310.4)