Question

我的意思是列表符号，以防它在标题中显示不好。

这不像书中所说的\bl。

Answer 1

book提供了一些代码，可以在“一些额外的Emacs定义”附录中简化输入：

(eval-after-load "quail/latin-ltx"
   '(mapc (lambda (pair)
            (quail-defrule (car pair) (cadr pair) "TeX"))
           '( ("\\bb" "") ("\\bl" "") ("\\bs" "") ("\\bt" "") ("\\bv" "") ("\\cv" "⋎") ("\\comp" "○") ("\\m" "↦") ("\\om" "ω"))))

您只需将其从此处复制并粘贴到.emacs文件中即可。

Answer 2

它还不是emacs模式的一部分，但我提交了Pull Request来添加丢失的黑板粗体字母。

Answer 3

使用M-x然后agda-input-show-translations获取所有字符绑定的表格。然后，您可以使用C-s搜索特定字符。

Answer 4

就我而言，我只输入了Emacs

        let str = "1234567z" + "-" + "äbc"
        let data = str.data(using: .utf16LittleEndian)!

        let bytesArray = data.map { $0 }
        let bytesArrayNoZero = bytesArray.filter{ $0 != 0}

        let str2 = String(bytes: bytesArrayNoZero, encoding: String.Encoding.utf16LittleEndian)

        print (fritz_01.MD5(str2!))



 func MD5(string: String) -> Data {
    let messageData = string.data(using:.utf8)!
    var digestData = Data(count: Int(CC_MD5_DIGEST_LENGTH))

    _ = digestData.withUnsafeMutableBytes {digestBytes in
        messageData.withUnsafeBytes {messageBytes in
            CC_MD5(messageBytes, CC_LONG(messageData.count), digestBytes)
        }
    }

    return digestData
}

，它正确地给了我黑板粗体字。这是使用agda 2.5.3（根据Ubuntu 16.04下的官方文档通过hackage安装）

什么是Agda符号的Emacs键盘快捷键？

4 个答案: