LED: Language of Effective Definitions

LED system translates literate language LED into:

functional language SequenceL
formatting language TeX

Demo

Input: LED file
Output:
- SequenceL file
- TeX file
  - PDF file
All examples (input: *.led; output: *.sl, *.tex, *.pdf)

Binary download

See latest release

Usage

Save these 3 files to some directory d/:
- LED binary for your OS (Ubuntu led or Windows led.exe)
- LED library for SequenceL (lib.sl)
- LED library for TeX (lib.cls)
Create a subdirectory s/ in d/
In s/: place some LED file f.led
- or save this demo LED file
Open a terminal in d/ and pass the LED file's path to the binary:
- Ubuntu:
```
./led s/f.led -f
```
- Windows:
```
led.exe  s/f.led -f
```
- WARNING: flag -f overwrites .sl and .tex files in s/

Git submodules

src/genparser/: generic parser by Evgenii Balai
src/pyinstaller/: Python installer by David Cortesi