COMPRESSED BIN JSON
document = stringtable ctortable value
stringtable = length string*length
ctortable = length constructor*length
constructor =
F0-FF value // Internal constructor
00 key // External constructor
value =
| #include "math.h" | |
| #include "idris_rts.h" | |
| #include "idris_bitstring.h" | |
| #include "idris_stdfgn.h" | |
| void _idris_assert_95_unreachable(VM*, VAL*); | |
| void _idris_call_95__95_IO(VM*, VAL*); | |
| void _idris_io_95_bind(VM*, VAL*); | |
| void _idris_io_95_pure(VM*, VAL*); | |
| void _idris_Main_46_main(VM*, VAL*); | |
| void _idris_mkForeignPrim(VM*, VAL*); |
| CommandType Name Version Source | |
| ----------- ---- ------- ------ | |
| Alias Add-ProvisionedAppxPackage 3.0 Dism | |
| Alias Apply-WindowsUnattend 3.0 Dism | |
| Alias Disable-PhysicalDiskIndication 2.0.0.0 Storage | |
| Alias Disable-StorageDiagnosticLog 2.0.0.0 Storage | |
| Alias Enable-PhysicalDiskIndication 2.0.0.0 Storage | |
| Alias |
| module jlos | |
| import Base.getindex | |
| import Base.colon | |
| import Base.(-) | |
| import Base.(<<) | |
| export endl, @method, Message | |
| function <<{T <: IO, X}(io::T, x::X)::T |
| typedef uint16_t glyphid_t; | |
| typedef uint16_t shapeid_t; | |
| typedef int16_t sshapeid_t; | |
| typedef struct {...} position_t; | |
| typedef struct CTF1Point { | |
| position_t x; | |
| position_t y; | |
| } CTF1Point; |
| declare-glyph "a.singlestorey" : begin | |
| rhythm {blank curve blank} {blank straight blank} | |
| include : OBarRightShape | |
| include : VBarRight ([rhythm.right.middle] <> 0) xheight | |
| declare-glyph "a" [unicode-of "a"] : begin | |
| include : glyph : "a" + parameters.variantSelector.a |
| <div id="example"> | |
| <test v-bind:type=type v-bind:a="a" v-bind:b="b"></test> | |
| </div> |
| [-- article --] | |
| [title] Article Title | |
| [arthur] be5invis | |
| [summary] This is the summary of the article | |
| [section] Section One | |
| This is a paragraph. | |
| This is another. | |
| [figure 1] The Sample Image of The Storage Method. |
| /***** PATCHES *****/ | |
| .monaco-workbench.hc-black { color: #FFF; background-color: #000; } | |
| .monaco-workbench.hc-black .sidebar .separator { background-color: #000; border: 1px solid #6FC3DF; } | |
| .monaco-workbench.hc-black input, | |
| .monaco-workbench.hc-black textarea { | |
| background-color: #000; | |
| } | |
| .monaco-workbench.hc-black .monaco-action-bar .action-item.disabled .action-label.disabled, | |
| .monaco-workbench.hc-black .monaco-action-bar .action-item.disabled .action-label.disabled:hover { | |
| opacity: 1; |
COMPRESSED BIN JSON
document = stringtable ctortable value
stringtable = length string*length
ctortable = length constructor*length
constructor =
F0-FF value // Internal constructor
00 key // External constructor
value =
| $input = $args[0] | |
| $output = $input -replace '.(gif|png|jpg|jpeg)$','.2x.png' | |
| echo "$input --> $output" | |
| # 通过叠加在黑色和白色背景上来处理半透明的图片 | |
| # 因为我又一次真特么要放大透明图 | |
| $temp_black = [System.IO.Path]::GetTempFileName() + '.png' | |
| $temp_black_2x = [System.IO.Path]::GetTempFileName() + '.png' | |
| $temp_white = [System.IO.Path]::GetTempFileName() + '.png' | |
| $temp_white_2x = [System.IO.Path]::GetTempFileName() + '.png' | |
| # convert 为 imagemagick |