Download Jar. Libraryless. Click here for Pure Java version (8016L/56K).
1 | !7 |
2 | |
3 | srecord Did$HappenBefore$(O event1, O event2) {}
|
4 | srecord WhenDid$Happen(O event) {}
|
5 | srecord $HappensAtSecond$(O event, O y) {}
|
6 | |
7 | p-exp {
|
8 | testFunctionValues defaultRecordParse( |
9 | "Did X happen before Y?" := Did$HappenBefore$("X", "Y"),
|
10 | "when did Z happen" := WhenDid$Happen("Z"),
|
11 | "{event 1} happens at second 100" := $HappensAtSecond$("event 1", 100)
|
12 | ); |
13 | } |
Began life as a copy of #1025457
download show line numbers debug dex old transpilations
Travelled to 6 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #1025459 |
| Snippet name: | Propositions to objects, step 6 - parsing (shortened 3) |
| Eternal ID of this version: | #1025459/4 |
| Text MD5: | 46c25fcb660740b0c2b53428a458b212 |
| Transpilation MD5: | a02006962a8c2478d63c5cd5d09ca467 |
| Author: | stefan |
| Category: | javax / a.i. |
| Type: | JavaX source code (desktop) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2019-09-29 14:19:47 |
| Source code size: | 383 bytes / 13 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 564 / 1376 |
| Version history: | 3 change(s) |
| Referenced in: | [show references] |