or
or
By clicking below, you agree to our terms of service.
New to HackMD? Sign up
Syntax | Example | Reference | |
---|---|---|---|
# Header | Header | 基本排版 | |
- Unordered List |
|
||
1. Ordered List |
|
||
- [ ] Todo List |
|
||
> Blockquote | Blockquote |
||
**Bold font** | Bold font | ||
*Italics font* | Italics font | ||
~~Strikethrough~~ | |||
19^th^ | 19th | ||
H~2~O | H2O | ||
++Inserted text++ | Inserted text | ||
==Marked text== | Marked text | ||
[link text](https:// "title") | Link | ||
 | Image | ||
`Code` | Code |
在筆記中貼入程式碼 | |
```javascript var i = 0; ``` |
|
||
:smile: | ![]() |
Emoji list | |
{%youtube youtube_id %} | Externals | ||
$L^aT_eX$ | LaTeX | ||
:::info This is a alert area. ::: |
This is a alert area. |
On a scale of 0-10, how likely is it that you would recommend HackMD to your friends, family or business associates?
Please give us some advice and help us improve HackMD.
Do you want to remove this version name and description?
Syncing
# Type library plan
Type library plan
ControlFlow::Break
/ControlFlow::Continue
– mentor this outTargetInterner
) – mentor this out (chalk#643)ty.kind
?ty.kind(interner)
as shorthand for&ty.data(interner).kind
Deref
for interners which can access interned data without selfUserTypeAnnotation
recordingTyParam
work belowrebind
to track where the binders come fromBinder::bind
calls to figure out if they are dummies or "really binding", got the easy ones done but…TyParam
and not placeholders, where do we want to change this?dyn Trait
representation – XXXExistentialPredicate
WhereClause
Binder<WhereClause>
Substitution
– someone to verifyTypeName
change landedsketch of what it will look like
there have to be some steps but it's hard to know them in advance