* Creating a lexer for Dafny

* Dafny: adding a small demo

* Dafny: removing the introduced bug

* Improving style

* Slight correction for underscores

* FIxing category of semi-colon

* Reclassifying backtick as puctuation

* Changes to token names

* Add keywords for and nameonly

* Remove indentation

* Add and remove keywords, add examples

Co-authored-by: davidcok <davidcok@amazon.com>
Co-authored-by: Matthias Schlaipfer <schlaipf@amazon.com>

* Rust: Fix lexing of integers

* Rust: Fix lexing of character escapes

* Rust: Fix a few issues where identifiers are lexed as numbers

* Rust: Support unicode idents (new in 1.53)

* Rust: update keyword and builtin list

* Rust: Parse byte strings/chars/raw strings

* Rust: Properly lex (nested) multiline and doc comments

* Add a blank line between tests

Co-authored-by: Tan Le <tan.le@hey.com>

This commit add references between our documentation. Additionally, some
default styling is also applied using `prettier`.

* Add a full list of supported languages

Fixes #1738

* Remove remnant from find&replace

* Move the full languages list into separate doc

Thanks to @tancnle for the suggestion!

* Fix link to LANGUAGES.md doc

* Format README with prettier

* Add dafny to the list of supported languages

* Format languages doc

Curly braces are used in SQL for ODBC escape sequences, and by DuckDB's nested types.

- DuckDB
- T-SQL
- PL/SQL

Travis has put in place a system of credits,
which has led most open source projects to migrate away from it.
Github offers a free, fast, and reliable CI solution which makes the choice a no-brainer.

Add some missing [window syntax]( https://www.postgresql.org/docs/9.5/sql-expressions.html#SYNTAX-WINDOW-FUNCTIONS) keywords.