Files
Christopher Schleiden 2a3d63551f Rename folders
2023-02-22 15:52:40 -08:00

20 lines
407 B
JSON

{
"bool": [
{
"expr": "false <= true",
"result": { "kind": "Boolean", "value": true }
},
{
"expr": "false <= false",
"result": { "kind": "Boolean", "value": true }
},
{
"expr": "true <= false",
"result": { "kind": "Boolean", "value": false }
},
{
"expr": "true <= true",
"result": { "kind": "Boolean", "value": true }
}
]
}