[B! emacs] tackmanのブックマーク

tackman id:tackman

emacsに関するtackmanのブックマーク (8)

Proof General
What is Proof General? Proof General is a generic interface for proof assistants (also known as interactive theorem provers), based on the extensible, customizable text editor Emacs. Proof General has been developed at the LFCS in the University of Edinburgh, mainly by David Aspinall, with contributions from other sites. It is distributed under the conditions of the GNU General Public License v3.0
tackman 2019/05/28
アイコンがkawaii

emacs

coq
リンク
Spacemacs入門その1 - Qiita
前回は、spacemacsについて spacemacsが最強で最高で神エディタであると思い始めた件という全く入門になってない、ポエムを書いたので、Spacemacsの入門記事を書いてみることにする。この記事を書くとき、対象のユーザを設定するのに少し困った。というのも、対象ユーザ像として、誰向けに書こうか?と考えたとき、大きく分けると Emacsユーザ Vimユーザその他のユーザに分かれてしまう。そして、Emacsユーザのみを考えても、同じEmacsでも関心が異なることがある。ひとまず、EmacsでもVimのユーザでも無い、﹁その他のユーザ﹂がSpacemacsを導入するというととを考えて、記事を書いてみる。どうしても、暗黙知があり、説明に飛躍があるかもしれないが、できるだけカバーして書いていきたい。さて、今後4回に分けて書こうと思う。その1‥ Spacemacsの環境構築、
tackman 2019/05/15
emacs
リンク
ゼロから始めるHy (hylang)
HyについてインストールHyのインストール Hello, world 開発環境の整備 Emacs(hy-mode) インストール Emacsの設定例 REPLの起動Hyのチュートリアル関数定義引数オプション︵ラムダリスト︶変数 letが無い！？ → マクロで定義する制御構造 Pythonの呼び出しまとめHyについて hylang/hy: A dialect of Lisp that’s embedded in Python ドキュメント: Hy’s documentation Hy(あるいはhylang)はPython上で動くLisp方言である。構文はClojure風ではあるが、関数型というわけでもなくマルチパラダイム言語なので、使用感はむしろCommon Lispに近い印象がある。他のLisp系言語と同様にREPLでのインタラクティブな開発ができ、マクロを使って構文
tackman 2019/04/22
hy

emacs
リンク
Emacs Paredit Notes for OSX
tackman 2017/11/13
emacs

clojure
リンク
Cask - naoyaのはてなダイアリー
昨年 ELPA で elisp を管理 - naoyaのはてなダイアリーに書いたとおり、昨今は Emacs にもパッケージ管理システムが搭載されいて、どこからか elisp をコピペしてきてその後管理できなくなる・・・みたいなことはなくなった。ただ、じゃあ ELPA で全て解決したかというとそんなことはなくて、ELPA はパッケージのインストール自体は簡単にしてくれるけれども、それだけだった。 elisp の管理も Bundler のように入れたいパッケージ一覧を書いて bundle install すれば全部まとめて入るみたいな、そういうのが欲しい・・・と常々思っていた。と思っていたら、Cask というのを見つけた。これがずばりそのものだった。 (source gnu) (source melpa) (source marmalade) (depends-on "ag") (dep
tackman 2015/02/02
emacs
リンク
EmacsでUnity開発をする - blog.tkeo.info
これはドリコム Advent Calendar 2014の10日目の記事です。9日目は@hiracyさんによるサーバが増えた時にインフラ担当者がやってきたことです。自己紹介 @tkeo 2007年新卒でドリコムに入社、8年目メインの仕事はスマホゲームのサーバサイド(Rails)で、今年からクライアント(Unity)のほうも触り始めた Rails歴6年、Unity歴8ヶ月いまの作業比率はサーバ:クライアント = 2:1 ぐらい今回の話 Unityを始めた当初はMonoDevelopを使っていたのですが、どうにも手になじまず腹が立ったので、普段サーバ側の開発で使っているemacsを使うことにしました。以下はいろいろハマりながらも、インターネット上の先人の力を借りてまとめた自分の設定です。環境 Mac OS X Mavericks emacs 24.4.1 パッケージ管理はc
tackman 2015/02/02
emacs

unity3d
リンク
emacs コマンド一覧（置換・コピー・検索・終了）
マクロの使い方と保存 C-x (　　　　　　　　　　　 ; マクロの記録を始めるマクロの記述　　　　　　　　 ; キー操作なり文字列を打つ C-x )　　　　　　　　　　　 ; マクロの記録の終了 ESC-x name-last-kbd-macro　 ; マクロに名前を付ける (global-set-key "割り当てたいキー" 'マクロ名) ; キーにマクロを割り当てる C-u ESC-x insert-kbd-macro　; マクロをファイルに書き出す ; 割り当てたキーも記録される書き出されたものを初期設定時にロードされるファイルにコピーします。削除、コピー、貼り付けキー入力コマンド名動作
tackman 2012/11/09
linux

emacs
リンク
bookshelf.jp
This domain may be for sale!
tackman 2012/05/05
emacs

linux
リンク
1