Skip to content

generate an official version of data.json #2

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

Open
laowantong wants to merge 2 commits into
base: master
Choose a base branch
from
Open

generate an official version of data.json #2

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
e10710a
generate an official version of data.json
laowantong Feb 8, 2024
39a7b5e
Merge branch 't4rm:master' into master
laowantong Feb 10, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
98 changes: 49 additions & 49 deletions src/context/data.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,147 +2,147 @@
"propositions": [
{
"id": 1,
"name": "let add x y = x + y",
"name": "x+3",
"answers": [
7,
10
1,
10,
11
]
},
{
"id": 2,
"name": "let x = 2 in x + 3",
"name": "( + )",
"answers": [
4,
8
2,
3,
5,
6
]
},
{
"id": 3,
"name": "let x = 2",
"answers": [
10,
12
0,
9
]
},
{
"id": 4,
"name": "let x = 2 and y = 3 in x + y",
"name": "let x = 2 in x+3",
"answers": [
4,
5,
1,
8
]
},
{
"id": 5,
"name": "let succ x = x + 1",
"name": "fun x y -> x+y",
"answers": [
7,
10
2,
3,
6
]
},
{
"id": 6,
"name": "function x -> x + 3",
"name": "let succ x = x+1",
"answers": [
2,
3
0,
7
]
},
{
"id": 7,
"name": "(fun x y -> x + y) 2 3",
"name": "function x -> x+3",
"answers": [
6,
8,
9
2,
3
]
},
{
"id": 8,
"name": "fun x y -> x + y",
"name": "let add x y = x+y",
"answers": [
2,
3,
11
0,
7
]
},
{
"id": 9,
"name": "x + 3",
"name": "let x = 2 and y = 3 in x+y",
"answers": [
6,
8,
9
1,
4,
8
]
},
{
"id": 10,
"name": "( + )",
"name": "(fun x y -> x+y) 2 3",
"answers": [
1,
2,
3,
10,
11
]
},
{
"id": 11,
"name": "(function x -> x + 3) 2)",
"name": "(function x -> x+3) 2",
"answers": [
6,
8
1,
10
]
}
],
"answers": [
{
"id": 0,
"value": "Déclaration"
},
{
"id": 1,
"value": "Opérateur sous forme préfixée"
"value": "Expression primitive"
},
{
"id": 2,
"value": "Expression fonctionnelle"
"value": "Fonction à un argument"
},
{
"id": 3,
"value": "Fonction à un argument"
"value": "Expression fonctionnelle"
},
{
"id": 4,
"value": "Définition locale de valeur(s) primitive(s)"
"value": "Définition locale simultanée"
},
{
"id": 5,
"value": "Définition locale simultanée"
"value": "Opérateur sous forme préfixée"
},
{
"id": 6,
"value": "Fonction appliquée à un argument"
"value": "Fonction à plusieurs arguments"
},
{
"id": 7,
"value": "Définition globale de fonction(s)"
},
{
"id": 8,
"value": "Expression primitive"
"value": "Définition locale de valeur(s) primitive(s)"
},
{
"id": 9,
"value": "Fonction appliquée à plusieurs arguments"
"value": "Définition globale de valeur(s) primitive(s)"
},
{
"id": 10,
"value": "Déclaration"
"value": "Fonction appliquée à un argument"
},
{
"id": 11,
"value": "Fonction à plusieurs arguments"
},
{
"id": 12,
"value": "Définition globale de valeur(s) primitive(s)"
"value": "Fonction appliquée à plusieurs arguments"
}
]
}