| Deliverer Assets | Deliverer Liabilities | Payee Assets | Payee Liabilities | Payer Assets | Payer Liabilities | Taker Assets | Taker Liabilities | Description |
|---|---|---|---|---|---|---|---|---|
| +100 | -100 | export of goods | ||||||
| +100 | +100 | taker opens foreign account | ||||||
| -100 | +100 | payment in currency | ||||||
| +100 |
Jonathan Lorimer JonathanLorimer
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| evaluating pointer: a | |
| evaluating pointer: lx | |
| Or: Or (Literal (Pointer "lw")) (Literal (Pointer "lv")) | |
| evaluating pointer: lw | |
| LShift: LShift (Literal (Pointer "lc")) (Literal (Signal 1)) | |
| evaluating pointer: lc | |
| Or: Or (Literal (Pointer "lb")) (Literal (Pointer "la")) | |
| evaluating pointer: lb | |
| LShift: LShift (Literal (Pointer "kh")) (Literal (Signal 1)) | |
| evaluating pointer: kh |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| :3000 { | |
| log { | |
| output stdout | |
| level DEBUG | |
| } | |
| header { | |
| Access-Control-Allow-Origin localhost:3000 | |
| } |
JonathanLorimer
/ gist:5ddc6ea286cde4a052811d54f14cdac1
Created
December 14, 2023 14:58
apalache error
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [error] at sbt.Execute.$anonfun$submit$2(Execute.scala:282) | |
| [error] at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:23) | |
| [error] at sbt.Execute.work(Execute.scala:291) | |
| [error] at sbt.Execute.$anonfun$submit$1(Execute.scala:282) | |
| [error] at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265) | |
| [error] at sbt.CompletionService$$anon$2.call(CompletionService.scala:64) | |
| [error] at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317) | |
| [error] at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:577) | |
| [error] at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317) | |
| [error] at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144) |
JonathanLorimer
/ Op log
Last active
June 27, 2024 22:44
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @ b8411a3b1b49 jonathanl@daedalus 15 minutes ago, lasted 102 milliseconds | |
| │ undo operation d442341fbee550c8606070df30dc6fb6695b3e08438f24f62f3dd8cbbac81e7db402354747089c7d95a9ab2ccab39d529626a27342707d5af6debd1807f7c549 | |
| │ args: jj op undo | |
| ◉ d442341fbee5 jonathanl@daedalus 15 minutes ago, lasted 147 milliseconds | |
| │ abandon commit b41c578808f1b001a7dad41fa924b635c16a321b and 9 more | |
| │ args: jj abandon 2bb1:: | |
| ◉ 9e12cf3ccbfd jonathanl@daedalus 15 minutes ago, lasted 145 milliseconds | |
| │ new empty commit | |
| │ args: jj new | |
| ◉ a2f70fb6784e jonathanl@daedalus 24 minutes ago, lasted 91 milliseconds |
JonathanLorimer
/ gist:26fc1e03dbebfe664ac45c482817391e
Created
September 11, 2024 21:36
Haddock Warnings
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Warning: --source-* options are ignored when --hyperlinked-source is enabled. | |
| Warning: 'hxSwap' is out of scope. | |
| If you qualify the identifier, haddock can try to link it anyway. | |
| 92% ( 13 / 14) in 'Htmx.Lucid.Core' | |
| Missing documentation for: | |
| OnEvent (src/Htmx/Lucid/Core.hs:73) | |
| 100% ( 2 / 2) in 'Htmx.Lucid.Extension.IncludeVals' | |
| 93% ( 29 / 31) in 'Htmx.Lucid.Extra' | |
| Missing documentation for: | |
| ParamsFilter (src/Htmx/Lucid/Extra.hs:93) |
OlderNewer