Skip to content

Instantly share code, notes, and snippets.

View casouri's full-sized avatar
💭
I may be slow to respond.

Yuan Fu casouri

💭
I may be slow to respond.
285 followers · 59 following
View GitHub Profile
@casouri
casouri / lambda.el
Created December 25, 2019 23:25
Untyped lambda calculus
;; Term = (Var index context-size)
;; | (Abs term bound-var-name)
;; | (App term term)
;; Context = [(name, _)]
(defun var-name (context-elm)
"Get name of CONTEXT-ELM."
(car context-elm))
(defun add-var (var context)
@casouri
casouri / index.html
Created March 19, 2020 18:03
index
This file has been truncated, but you can view the full file.
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- This is the GNU Emacs Lisp Reference Manual
corresponding to Emacs version 27.0.60.
Copyright © 1990-1996, 1998-2020 Free Software Foundation,
Inc.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3 or
@casouri
casouri / new-wrap.patch
Created May 28, 2020 17:40
中英文折行
From f7c58ba4f67a7c8bcffbb7b7077b10fd944471eb Mon Sep 17 00:00:00 2001
From: Yuan Fu <casouri@gmail.com>
Date: Tue, 26 May 2020 22:47:27 -0400
Subject: [PATCH] checkpoint
---
src/xdisp.c | 131 ++++++++++++++++++++++++++++++++++++----------------
1 file changed, 92 insertions(+), 39 deletions(-)
diff --git a/src/xdisp.c b/src/xdisp.c
@casouri
casouri / undo-redo.el
Created June 7, 2020 19:54
(unless (boundp 'undo--last-change-was-undo-p)
(defun undo--last-change-was-undo-p (undo-list)
(while (and (consp undo-list) (eq (car undo-list) nil))
(setq undo-list (cdr undo-list)))
(gethash undo-list undo-equiv-table))
(defun undo-redo (&optional arg)
"Undo the last ARG undos."
(interactive "*p")
(cond
@casouri
casouri / xdisp.c
Created June 19, 2020 03:11
This file has been truncated, but you can view the full file.
/* Display generation from window structure and buffer text.
Copyright (C) 1985-1988, 1993-1995, 1997-2020 Free Software Foundation,
Inc.
This file is part of GNU Emacs.
GNU Emacs is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or (at
@casouri
casouri / wucuo log
Created June 19, 2020 12:15
CPU profiler started
Saving file /Users/yuan/emacs/src/xdisp.c...
Wrote /Users/yuan/emacs/src/xdisp.c
wucuo-spell-check-buffer called.
flyspell-region called from 22867 to 25824
Starting new Ispell process aspell with default dictionary...done
mode-predicate=nil
font-matched=(font-lock-string-face font-lock-doc-face font-lock-comment-face font-lock-builtin-face font-lock-function-name-face font-lock-variable-name-face font-lock-type-face js2-function-call js2-function-param js2-object-property js2-object-property-access font-lock-builtin-face css-selector css-property rjsx-text rjsx-tag rjsx-attr), current-font-face=font-lock-string-face
wucuo-generic-check-word-predicate => word=h rlt=nil wucuo-extra-predicate=(lambda (word) t) subwords=nil
mode-predicate=nil
@casouri
casouri / doc-view.el
Created July 8, 2020 19:34
doc-view fix for Emacs27
;;; doc-view.el --- View PDF/PostScript/DVI files in Emacs -*- lexical-binding: t -*-
;; Copyright (C) 2007-2020 Free Software Foundation, Inc.
;;
;; Author: Tassilo Horn <tsdh@gnu.org>
;; Keywords: files, pdf, ps, dvi
;; This file is part of GNU Emacs.
;; GNU Emacs is free software: you can redistribute it and/or modify
@casouri
casouri / long-line.org
Created July 9, 2020 02:40
JournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournalRecordMeta zoneJournal
@casouri
casouri / wrap.txt
Created August 23, 2020 15:22
RTL in RTL
الثعلب البني السريع يقفز فوق الكلب الكسول.الثعلب البني السريع يقفز فوق الكلب الكسول.الثعلب البني السريع يقز فوق ال 《الكسو ل.الثعل 》 ب الكسول.الثعلب البني السريع يقفز
LRT in LRT
中文中文中文中文中文中文中文中文中文中文中文中文中文中文，中文《中文中文》中文中文中文中文中文中中文中文中文中文中中文中文中文中文中文
LRT in RTL
@casouri
casouri / Keyboard-en.plist
Last active October 10, 2020 02:28
greek letter press and hold for mac,
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>Roman-Accent-f</key>
<dict>
<key>Direction</key>
<string>right</string>
<key>Strings</key>
<string>α β γ δ ε η θ </string>