小编luk*_*afi的帖子

如何在`magit`中恢复旧提交的更改?

我知道如何从旧的提交中获取差异:进入*magit-log*,并"提交""点击".如何在反向应用的差异中获得特定的变化?我希望它只是修改文件(和缓冲区,如果打开).

git emacs magit

22
推荐指数
1
解决办法
4155
查看次数

组织模式时钟表和图表

有没有办法生成org-mode(记录工作),一个二维表,其中行是任务,列是一周/月或连续几周的连续天,单元格是时间; 还是相应的图表?

我只知道rangereport来自http://sachachua.com/blog/2007/12/clocking-time-with-emacs-org/的hacky

emacs org-mode

9
推荐指数
1
解决办法
2840
查看次数

GADT定义

这只是一个测试,所以我不太关心,但我有这些定义:

type z
type _ s
type (_, _, _) balance =
  | Less : (*?'a.*) ('a, 'a s, 'a s) balance
  | Same : (*?'b.*) ('b, 'b, 'b) balance
  | More : (*?'a.*) ('a s, 'a, 'a s) balance
type _ aVL =
  | Leaf : z aVL
  | Node : (*?'a, 'b, 'c.*)('a, 'b, 'c) balance * 'a aVL * int * 'b aVL ->
    ('c s) aVL
Run Code Online (Sandbox Code Playgroud)

我收到"type _ aVL ="的错误:

Error: In this definition, a type …
Run Code Online (Sandbox Code Playgroud)

ocaml gadt

7
推荐指数
1
解决办法
1312
查看次数

OCaml Bigarray:比内置数组慢?

Bigarray与C接口时使用的缺点是什么?它们是否较慢,特别是对于小型2D矩阵?

ocaml multidimensional-array

5
推荐指数
1
解决办法
632
查看次数

标签 统计

emacs ×2

ocaml ×2

gadt ×1

git ×1

magit ×1

multidimensional-array ×1

org-mode ×1