• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    迪恩网络公众号
登陆 注册
描述文字

Anton-Latukha/Fundamental-Haskell: Fundamental Haskell book, to the point terse ...

原作者: [db:作者] 来自: 网络 收藏 邀请

开源软件名称（OpenSource Name）：

Anton-Latukha/Fundamental-Haskell

开源软件地址(OpenSource Url)：

https://github.com/Anton-Latukha/Fundamental-Haskell

开源编程语言(OpenSource Language)：

Emacs Lisp 100.0%

开源软件介绍(OpenSource Introduction)：

Fundamental Haskell

# # #

                  _oo0oo_
                  o88888o
                 88" . "88
                 (| -_- |)
                 0\  =  /0
               ___/`---'\____
            .'  \|       |//  '.
           /  /|||   :    |||/\ \
          |  _|\||| -:-  |||||   \
         /   | \\    -  ///  |\   \
         |   \_| ''\---/''   |/   |
          \  .-\__  '-'  ___/-.  /
        ___'. .'  /--.--\ `.  .'___
     ."" '<  `.___\_<|>_/___.' >' "".
    | | :  `- \`.;`\ _ /`;.`/ - ` : | |
    \  \ `_.   \_ __\ /__ _/   .-` /  /
=====`-.____`.___ \_____/___.-`___.-'=====
                  `=---='

# # #

1 Introduction

“Employ your time in improving yourself by other men’s writings so that you shall come easily by what others have labored hard for.” (Socrates by Plato)

Important notes on Haskell, category theory & related fields, terms and recommendations.

Book comes in forms:

This book is created using complex Org markup file with a lot of LaTeX and LaTeX formulas. Be aware - GitHub & GitLab only partially parse Org into HTML.

To get the full view:

  • Outline navigation
  • LaTeX formulas:

    \( {\displaystyle\left[{-\frac{\hbar2}{2m}}∇2+V(\vec{r},t)\right]Ψ({\vec{r}},t)=i\hbar{∂\over∂{t}}Ψ({\vec{r}},t),\quad\sumk,j\left[-{\frac{\hbar2}{\sqrt{a}}}{\frac{∂}{∂{qk}}}\left({\sqrt{a}}akj{\frac{∂}{∂{qj}}}\right)+V\right]Ψ+{\frac{\hbar}{i}}{\frac{∂{Ψ}}{∂{t}}}=0} \)

  • Interlinks: <<<Interlinks>>>

, please refere to Web book, PDF, LaTeX, of use Org-mode capable viewer/editor.

Note about the markup: <<<This is a radio target>>> - is the ancor for dynamic linking.

Users of Emacs can prettify radio targets to be shown as hyper-links with this Elisp snippet:

;;;;  2019-06-12: NOTE:
;;;;  Prettify '<<<Radio targets>>>' to be shown as '_Radio_targets_',
;;;;  when `org-descriptive-links` set.
;;;;  This is improvement of the code from: Tobias&glmorous:
;;;;  https://emacs.stackexchange.com/questions/19230/how-to-hide-targets
;;;;  There exists library created from the sample:
;;;;  https://github.com/talwrii/org-hide-targets
(defcustom org-hidden-links-additional-re "\\(<<<\\)[[:print:]]+?\\(>>>\\)"
  "Regular expression that matches strings where the invisible-property
    of thesub-matches 1 and 2 is set to org-link."
  :type '(choice (const :tag "Off" nil) regexp)
  :group 'org-link)
(make-variable-buffer-local 'org-hidden-links-additional-re)

(defun org-activate-hidden-links-additional (limit)
  "Put invisible-property org-link on strings matching
    `org-hide-links-additional-re'."
  (if org-hidden-links-additional-re
      (re-search-forward org-hidden-links-additional-re limit t)
    (goto-char limit)
    nil))

(defun org-hidden-links-hook-function ()
  "Add rule for `org-activate-hidden-links-additional'
    to `org-font-lock-extra-keywords'.
    You can include this function in `org-font-lock-set-keywords-hook'."
  (add-to-list 'org-font-lock-extra-keywords
                '(org-activate-hidden-links-additional
                  (1 '(face org-target invisible org-link))
                  (2 '(face org-target invisible org-link)))))

(add-hook 'org-font-lock-set-keywords-hook #'org-hidden-links-hook-function)

SCHT: and metadata in :properties: - of my org-drill practices, please just run org-drill-strip-all-data.

2 Contents