dapp-studies/linear_logic_study

Linear Logic study document

This document serves the generation of flashcarts to remember and study Frank Pfenning's 2012 Course on Linear Logic.

Usage

1. Install and Get familiar with Anki: http://ankisrs.net/ (I use it on PC + Phone)
2. Install ang get familiar with Latex Import: http://reh.math.uni-duesseldorf.de/~zibrowius/LatexNoteImporter/
3. You will need a custom anki not type:
   • create a new custom note type with the name Latex
   • import the linear_logic.apkg in your anki
   • from here on you can import doc.tex into the linear logic dec
4. Sync & enjoy

VIM

I use the following snippet in ultisnips to generate a card boilerplate:

global !p
from uuid import uuid4
def uuid():
	return str(uuid4())
endglobal

snippet note "Anki note" b
\begin{note}
  \xplain{`!p if not snip.c: snip.rv = uuid()`}
  \begin{field}
		${1}
  \end{field}
  \begin{field}
		${2}
  \end{field}
\end{note}

endsnippet