New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Chapter: Background / REVIEW #27

Open

ysndr wants to merge 71 commits into main from chapter/background#martin

Owner

ysndr commented Apr 17, 2022 •

edited

Loading

remove emphasis in title

ysndr and others added 30 commits

April 9, 2022 18:48


          Address LSP first

7826b00


          Extend chapter outline

c0b5965


          Background introduction

32aa082


          Language server Introduction

d36bac9


          Add to the rationale of LSP

87589b6


          Rename rationale Motivation and extend subsection

40cbc87


          Fix footnote

277674f


          Start subsection jsron rpc

0706fe3


          Fix code block rendering

3cc32b5


          Finish rpc doc

e1b816b


          Fix figure references

3cfc28b


          Start section on configuration programming languages

c8903d3


          Amend static text vs binary paragraph

440fdf8


          Finish Configuration programming languages section

be79a9c


          Fix some footnotes and typo

525c298


          Fill subsection on IaC

1e0facf


          Apply suggestions from code review

99d5d07

Co-authored-by: Yann Hamdaoui <[email protected]>


          Address suggestions regarding LSP

49605bc


          Address more suggestions towards motivation and JSONRPC

6f52325


          Do not use auxillary description for DSL

584e5a5


          Add paragraph about config security

b9a65f0


          Removing math terms and mention edit integration work

d27c9a3


          Merge Nickel section into Configuration languages

815a0fe


          Add Nickel AST chapter to background

b143283


          AST: Identifiers and let bindings

5874b6a


          Fix code examples to pass syntax highlighter

c6791ed


          Remove Motivation (moved to introduction)

1034f59


          Fix typos and wording

a8b020a


          Move down header level of gradual typing

e6dd02a


          Add section on contracts

7a38c0d

ysndr commented

View reviewed changes

chapter/background.md Outdated Show resolved Hide resolved

ysndr commented

View reviewed changes

chapter/background.md Outdated Show resolved Hide resolved

ysndr commented

View reviewed changes

chapter/background.md Outdated Show resolved Hide resolved

ysndr commented

View reviewed changes

chapter/background.md Outdated Show resolved Hide resolved

ysndr commented

View reviewed changes

chapter/background.md Outdated Show resolved Hide resolved

ysndr commented

View reviewed changes

chapter/background.md Outdated Show resolved Hide resolved

ysndr commented

View reviewed changes

chapter/background.md Outdated Show resolved Hide resolved

ysndr commented

View reviewed changes

chapter/background.md Show resolved Hide resolved

ysndr added 2 commits

May 8, 2022 11:31


          Define and distinct LSP Server/Client

33d2f6f


          Define JSON-RPC after naming it

dd68fdd

ysndr added the no-preview label

ysndr and others added 12 commits

May 8, 2022 11:35


          Update chapter/background.md

1b7f7c6


          Improve self containment of this chapter

d2a3e93


          Remove subjective phrase

643d5c8

Co-authored-by: Martin Monperrus <[email protected]>


          Add RPC method names

102d411


          Define Folder/Workspace

ccdde1e

Co-authored-by: Martin Monperrus <[email protected]>


          Destinction of workspace scoped symbols

8f4f497


          Rewrite Configuration programming languages as text based configuration

e945242

Co-authored-by: Martin Monperrus <[email protected]>


          Fixup: Rewrite Configuration programming languages as text based conf…

430c53e

…iguration


          Add sentence about IaC implementation

1e0821b


          Move Nickel AST to top to introduce fundamental concepts (i.e. records)

f7cbbc9


          IaaS description and application

bd59fe3


          Style improvements

6f83edd

Co-authored-by: Martin Monperrus <[email protected]>

ysndr removed the no-preview label

github-actions bot deployed to chapter/background#martin

May 8, 2022 09:52

View deployment

github-actions bot had a problem deploying to chapter/background#martin

May 24, 2022 11:15

Failure

ysndr added 2 commits

May 24, 2022 13:16


          Import bibliography config

ad3d394


          Fill bibliography

78807b7

ysndr force-pushed the chapter/background#martin branch from 7edef81 to 78807b7 Compare

May 24, 2022 11:16

github-actions bot deployed to chapter/background#martin

May 24, 2022 11:23

View deployment

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels