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