Skip to content

Commit 6d47620

Browse files
committed
fix: devcontainers and docs
1 parent f4b63cf commit 6d47620

52 files changed

Lines changed: 212 additions & 213 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.DS_Store

8 KB
Binary file not shown.

.devcontainer/devcontainer.json

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
{
2+
"name": "sql",
3+
"image": "postgres:latest",
4+
"workspaceMount": "source=${localWorkspaceFolder},target=/sql,type=bind,consistency=delegated",
5+
"workspaceFolder": "/sql"
6+
}

.github/workflows/sql.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ on:
88

99
jobs:
1010
build:
11-
runs-on: ubuntu-lates
11+
runs-on: ubuntu-latest
1212
steps:
1313
- name: "Check Repository"
1414
uses: actions/checkout@v4
Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
# authors
2+
3+
4+
# institutions
5+
6+
7+
# acronyms
8+
9+
10+
# places
11+
12+
13+
# urls
14+
15+
16+
# Mathematics Subject Classification – MSC2020

0_implementations/0_def.txt

Lines changed: 0 additions & 4 deletions
This file was deleted.

0_implementations/1_lexical_and_syntactical_BNF_notation.txt

Lines changed: 0 additions & 1 deletion
This file was deleted.

1_lexical_analysis/0_def.txt renamed to 1_core_language/10_full_grammar_specification/empty_file

File renamed without changes.
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
Known implementations:
2+
- TSQL
3+
- PL/SQL
4+
- mySQL
5+
- PostgresSQL
6+
- ...
7+
8+
NB: Some of these are also the names of the Relational Database Management System(RDBMS)
9+
see: https://github.com/praisetompane/mathematics/blob/main/03_mathematical_logic_and_foundations/5_relation.txt
10+
11+
References:
12+

docs/10_Programmable_Objects.txt renamed to 1_core_language/2_lexical_analysis/10_Programmable_Objects.txt

File renamed without changes.

docs/1_Normalisation.txt renamed to 1_core_language/2_lexical_analysis/1_Normalisation.txt

File renamed without changes.

0 commit comments

Comments
 (0)