1. Forum
  2. Usenet
  3. COMP.COMPILERS

  • Common HOL Phase 1 Reports (proposals for the Ada language)

    From Luke A. Guest@21:1/5 to All on Wed Aug 30 18:24:25 2023
    Edward Fish has managed to get the DTIC to scan in the other language's reports.

    This has been a combined effort between a few of us on IRC to try to get
    the other two languages, blue and yellow released so we can see what
    could've happened.

    This report contains all 4 language reports.

    https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)