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 |