From 6adf8fca28b3c7ebdad7153b019d7013cc3ceff7 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 19 Jun 2020 08:34:29 -0400 Subject: Add specification README --- spec/README.md | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 spec/README.md diff --git a/spec/README.md b/spec/README.md new file mode 100644 index 00000000..eea0b868 --- /dev/null +++ b/spec/README.md @@ -0,0 +1,11 @@ +# BQN specification + +This directory gives a (currently incomplete) specification for BQN. The specification differs from the documentation in `doc/` in that its purpose is only to describe the exact details of BQN's operation in the most quickly accessible way, rather than to explain the core ideas of BQN functionality and how it might be used. Since it is easier to specify than to document, the specification is currently more complete than the documentation; for example, it includes nearly all primitives. + +The following aspects define BQN and are or will be specified: +- Token formation +- Numeric and character literals +- Syntactic class and grammar +- Array model and notation +- Evaluation semantics +- Built-in operations ([reference implementations](reference.bqn)) -- cgit v1.2.3