Why Gemfury? Push, build, and install  RubyGems npm packages Python packages Maven artifacts PHP packages Go Modules Debian packages RPM packages NuGet packages

doctorondemand / Pygments python

Repository URL to install this package:

Version: 
2.5.0  ▾
Details    
Pygments / examplefiles / output / test.shen
Size: Mime: 
€]q(cpygments.token
_TokenType
qXPunctuationq…q…qq}q(Xsubtypesqcbuiltins
set
q]q	hhX	Indicatorq
†q…qq
}q(hh]q…qRqXparentqhuba…qRqhh)…qq}q(hh]q(hXEscapeq…q…qq}q(hh]q…qRq hhubhXOperatorq!…q"…q#q$}q%(hh]q&(hh!XDBSq'†q(…q)q*}q+(hh]q,…q-Rq.hh$ubhh!XWordq/†q0…q1q2}q3(hh]q4…q5Rq6hh$ube…q7Rq8hhh/h2h'h*ubhXNameq9…q:…q;q<}q=(hh]q>(hh9XTagq?†q@…qAqB}qC(hh]qD…qERqFhh<ubhh9XEntityqG†qH…qIqJ}qK(hh]qLhh9hGh'‡qM…qNqO}qP(hh]qQ…qRRqShhJuba…qTRqUhh<h'hOubhh9X	ExceptionqV†qW…qXqY}qZ(hh]q[…q\Rq]hh<ubhh9X	Decoratorq^†q_…q`qa}qb(hh]qc…qdRqehh<ubhh9XClassqf†qg…qhqi}qj(hh]qk(hh9hfh'‡ql…qmqn}qo(hh]qp…qqRqrhhiubhh9hfXStartqs‡qt…quqv}qw(hh]qx…qyRqzhhiube…q{Rq|hh<hshvh'hnubhh9XVariableq}†q~…qq€}q(hh]q‚(hh9h}X	Anonymousqƒ‡q„…q…q†}q‡(hh]qˆ…q‰RqŠhh€ubhh9h}hf‡q‹…qŒq}qŽ(hh]q…qRq‘hh€ubhh9h}XMagicq’‡q“…q”q•}q–(hh]q—…q˜Rq™hh€ubhh9h}XGlobalqš‡q›…qœq}qž(hh]qŸ…q Rq¡hh€ubhh9h}XInstanceq¢‡q£…q¤q¥}q¦(hh]q§…q¨Rq©hh€ube…qªRq«hh<hfhhšhh¢h¥h’h•hƒh†ubhh9X	Attributeq¬†q­…q®q¯}q°(hh]q±hh9h¬h}‡q²…q³q´}qµ(hh]q¶…q·Rq¸hh¯uba…q¹Rqºhh<h}h´ubhh9X	Namespaceq»†q¼…q½q¾}q¿(hh]qqÁRqÂhh<ubhh9XPropertyqÆqąqŁqÆ}qÇ(hh]qȅqÉRqÊhh<ubhh9XSymbolqˆq̅q́qÎ}qÏ(hh]qЅqÑRqÒhh<ubhh9XClassesqӆqԅqՁqÖ}q×(hh]q؅qÙRqÚhh<ubhh9XPseudoqۆq܅q݁qÞ}qß(hh]qà…qáRqâhh<ubhh9XLabelqã†qä…qåqæ}qç(hh]qè…qéRqêhh<ubhh9h!†që…qìqí}qî(hh]qï…qðRqñhh<ubhh9XBuiltinqò†qó…qôqõ}qö(hh]q÷(hh9hòhۇqø…qùqú}qû(hh]qü…qýRqþhhõubhh9hòXTypeqÿ‡r…rr}r(hh]r…rRrhhõube…rRrhh<hÛhúhÿjubhh9XFieldr	†r
…rr}r
(hh]r…rRrhh<ubhh9XOtherr†r…rr}r(hh]rhh9jXMemberr‡r…rr}r(hh]r…rRrhjuba…rRr hh<jjubhh9XFunctionr!†r"…r#r$}r%(hh]r&hh9j!h’‡r'…r(r)}r*(hh]r+…r,Rr-hj$uba…r.Rr/hh<h’j)ubhh9hÿ†r0…r1r2}r3(hh]r4…r5Rr6hh<ubhh9XConstantr7†r8…r9r:}r;(hh]r<…r=Rr>hh<ube…r?Rr@hhh¬h¯hòhõhfhij7j:h^hahGhJhVhYj!j$hÃhÆhãhæh»h¾jjh?hBh}h€j	jhËhÎhÛhÞh!híhÓhÖhÿj2ubhXLiteralrA…rB…rCrD}rE(hh]rF(hjAj†rG…rHrI}rJ(hh]rK…rLRrMhjDubhjAXCharrN†rO…rPrQ}rR(hh]rS…rTRrUhjDubhjAXDaterV†rW…rXrY}rZ(hh]r[…r\Rr]hjDubhjAXScalarr^†r_…r`ra}rb(hh]rchjAj^XPlainrd‡re…rfrg}rh(hh]ri…rjRrkhjauba…rlRrmhjDjdjgubhjAXStringrn†ro…rprq}rr(hh]rs(hjAjnXInterpolrt‡ru…rvrw}rx(hh]ry…rzRr{hjqubhjAjnX	Delimeterr|‡r}…r~r}r€(hh]r…r‚RrƒhjqubhjAjnjN‡r„…r…r†}r‡(hh]rˆ…r‰RrŠhjqubhjAjnhˇr‹…rŒr}rŽ(hh]r…rRr‘hjqubhjAjnXSingler’‡r“…r”r•}r–(hh]r—…r˜Rr™hjqubhjAjnj‡rš…r›rœ}r(hh]rž…rŸRr hjqubhjAjnXBacktickr¡‡r¢…r£r¤}r¥(hh]r¦…r§Rr¨hjqubhjAjnh‡r©…rªr«}r¬(hh]r­…r®Rr¯hjqubhjAjnXRegexr°‡r±…r²r³}r´(hh]rµ…r¶Rr·hjqubhjAjnXMomentr¸‡r¹…rºr»}r¼(hh]r½…r¾Rr¿hjqubhjAjnXBooleanrÀ‡rÁ…rrÃ}rÄ(hh]rÅ…rÆRrÇhjqubhjAjnX	CharacterrȇrÉ…rʁrË}rÌ(hh]rÍ…rÎRrÏhjqubhjAjnX	DelimiterrЇrÑ…rҁrÓ}rÔ(hh]rÕ…rÖRr×hjqubhjAjnXDocr؇rÙ…rځrÛ}rÜ(hh]rÝ…rÞRrßhjqubhjAjnh9‡rà…rárâ}rã(hh]rä…råRræhjqubhjAjnXAffixrç‡rè…rérê}rë(hh]rì…ríRrîhjqubhjAjnXHeredocrï‡rð…rñrò}ró(hh]rô…rõRröhjqubhjAjnXDoubler÷‡rø…rùrú}rû(hh]rü…rýRrþhjqubhjAjnXInterprÿ‡r…rr}r(hh]r…rRrhjqubhjAjnXAtomr‡r…r	r
}r(hh]r…r
Rrhjqube…rRrhjDjçjêj¡j¤jNj†jÐjÓjØjÛj÷júhj«jïjòjtjwjjœj°j³j’j•hËjjÈjËj¸j»jÿjjÀjÃj|jjj
h9jâubhjAXNumberr†r…rr}r(hh]r(hjAjXFloatr‡r…rr}r(hh]r…rRrhjubhjAjXDecr‡r …r!r"}r#(hh]r$…r%Rr&hjubhjAjXRadixr'‡r(…r)r*}r+(hh]r,…r-Rr.hjubhjAjXOctr/‡r0…r1r2}r3(hh]r4…r5Rr6hjubhjAjXBinr7‡r8…r9r:}r;(hh]r<…r=Rr>hjubhjAjh¬‡r?…r@rA}rB(hh]rC…rDRrEhjubhjAjXHexrF‡rG…rHrI}rJ(hh]rK…rLRrMhjubhjAjXIntegerrN‡rO…rPrQ}rR(hh]rSh(jAjjNXLongrTtrU…rVrW}rX(hh]rY…rZRr[hjQuba…r\Rr]hjjTjWubhjAjXDecimalr^‡r_…r`ra}rb(hh]rc…rdRrehjube…rfRrghjDj7j:jjjFjIjNjQj/j2j'j*h¬jAj^jajj"ube…rhRrihhjnjqjjjVjYj^jajjIjNjQubhXGenericrj…rk…rlrm}rn(hh]ro(hjjXErrorrp†rq…rrrs}rt(hh]ru…rvRrwhjmubhjjX
Subheadingrx†ry…rzr{}r|(hh]r}…r~RrhjmubhjjX	Tracebackr€†r…r‚rƒ}r„(hh]r……r†Rr‡hjmubhjjXOutputrˆ†r‰…rŠr‹}rŒ(hh]r…rŽRrhjmubhjjXPromptr†r‘…r’r“}r”(hh]r•…r–Rr—hjmubhjjXDeletedr˜†r™…ršr›}rœ(hh]r…ržRrŸhjmubhjjXInsertedr †r¡…r¢r£}r¤(hh]r¥…r¦Rr§hjmubhjjXHeadingr¨†r©…rªr«}r¬(hh]r­…r®Rr¯hjmubhjjXStrongr°†r±…r²r³}r´(hh]rµ…r¶Rr·hjmubhjjXEmphr¸†r¹…rºr»}r¼(hh]r½…r¾Rr¿hjmube…rÀRrÁhhj˜j›j¸j»jpjsj¨j«j j£jˆj‹jj“j°j³jxj{j€jƒubhjp…rÂ…rÁrÄ}rÅ(hh]rÆ…rÇRrÈhhubhXKeywordrÉ…rÊ…rˁrÌ}rÍ(hh]rÎ(hjÉh/†rÏ…rЁrÑ}rÒ(hh]rÓ…rÔRrÕhjÌubhjÉjɆrÖ…rׁrØ}rÙ(hh]rÚ…rÛRrÜhjÌubhjÉhÿ†rÝ…rށrß}rà(hh]rá…râRrãhjÌubhjÉXPreProcrä†rå…rærç}rè(hh]ré…rêRrëhjÌubhjÉXControlrì†rí…rîrï}rð(hh]rñ…ròRróhjÌubhjÉj7†rô…rõrö}r÷(hh]rø…rùRrúhjÌubhjÉh»†rû…rürý}rþ(hh]rÿ…rRrhjÌubhjÉhۆr…rr}r(hh]r…rRrhjÌubhjÉXDeclarationr	†r
…rr}r
(hh]r…rRrhjÌubhjÉXReservedr†r…rr}r(hh]r…rRrhjÌube…rRrhhj7jöj	jh»jýhÛjjjhÿjßjìjïjÉjØjäjçh/jÑubhj…r…rr}r(hh]r…r Rr!hhubhXTextr"…r#…r$r%}r&(hh]r'(hj"XRootr(†r)…r*r+}r,(hh]r-…r.Rr/hj%ubhj"hˆr0…r1r2}r3(hh]r4…r5Rr6hj%ubhj"XRagr7†r8…r9r:}r;(hh]r<…r=Rr>hj%ubhj"X
Whitespacer?†r@…rArB}rC(hh]rD…rERrFhj%ubhj"XBeerrG†rH…rIrJ}rK(hh]rL…rMRrNhj%ubhj"h†rO…rPrQ}rR(hh]rS…rTRrUhj%ube…rVRrWhhj?jBhËj2hjQj(j+jGjJj7j:ubhXCommentrX…rY…rZr[}r\(hh]r](hjXXPreprocr^†r_…r`ra}rb(hh]rc…rdRrehj[ubhjXXMultirf†rg…rhri}rj(hh]rk…rlRrmhj[ubhjXXHashbangrn†ro…rprq}rr(hh]rs…rtRruhj[ubhjXj’†rv…rwrx}ry(hh]rz…r{Rr|hj[ubhjXX
SingleLiner}†r~…rr€}r(hh]r‚…rƒRr„hj[ubhjXj؆r……r†r‡}rˆ(hh]r‰…rŠRr‹hj[ubhjXX	DirectiverŒ†r…rŽr}r(hh]r‘…r’Rr“hj[ubhjXX	Multiliner”†r•…r–r—}r˜(hh]r™…ršRr›hj[ubhjXX
Singlelinerœ†r…ržrŸ}r (hh]r¡…r¢Rr£hj[ubhjXXPreprocFiler¤†r¥…r¦r§}r¨(hh]r©…rªRr«hj[ubhjXXSpecialr¬†r­…r®r¯}r°(hh]r±…r²Rr³hj[ube…r´Rrµhhjnjqj”j—j^jaj¤j§j’jxj¬j¯jŒjj}j€jØj‡jfjijœjŸubhe…r¶Rr·j"j%hhjpjÄjjjÉjÌh9h<jAjDhhh!h$jXj[jjjmXTokenr¸hjnjqjjubh
h
ubX(r¹†rºjÌXpackager»†r¼j%X r½†r¾h¾X
pygments-testr¿†rÀj%j½†rÁhX[r†rÃjDXsomerĆrÅj%j½†rÆjDXsymbolsrdžrÈhX]rɆrÊj%X

rˆrÌj—X\* multiline
   comment
*\r͆rÎj%X

rφrÐjxX\\ With vars as functionsrцrÒj%X

rÓ†rÔhj¹†rÕjÌXdefinerÖ†r×j%j½†rØj$XsuperrÙ†rÚj%X
  rÛ†rÜhj†rÝh€XValuerÞ†rßj%j½†ràh€XSuccrá†râj%j½†rãh€XEndrä†råhjɆræj%j½†rçh€XActionrè†réj%j½†rêh€XCombinerë†rìj%j½†ríh€XZerorî†rïj%j½†rðhX->rñ†ròj%X
  ró†rôhj¹†rõjÌXifrö†r÷j%j½†røhj¹†rùj$XEndrú†rûj%j½†rüh€XValuerý†rþhX)rÿ†rj%X
      r†rh€XZeror†rj%X
      r†rhj¹†rj$XCombiner†r	j%j½†r
hj¹†rj$XActionr†r
j%j½†rh€XValuer†rhjÿ†rj%X
               r†rhj¹†rj$Xsuperr†rj%j½†rhj†rhj¹†rj$XSuccr†rj%j½†rh€XValuer†rhjÿ†rj%j½†r h€XSuccr!†r"j%j½†r#h€XEndr$†r%hjɆr&j%X
                      r'†r(h€XActionr)†r*j%j½†r+h€XCombiner,†r-j%j½†r.h€XZeror/†r0hjÿ†r1hjÿ†r2hjÿ†r3hjÿ†r4j%X

r5†r6hj¹†r7jÌXdefiner8†r9j%j½†r:j$Xforr;†r<j%X
  r=†r>h€XStreamr?†r@j%j½†rAh€XActionrB†rCj%j½†rDhX->rE†rFj%j½†rGhj¹†rHj$XsuperrI†rJj%j½†rKh€XStreamrL†rMj%j½†rNh€XActionrO†rPj%j½†rQhj¹†rRjÌXfunctionrS†rTj%j½†rUj$XdorV†rWhjÿ†rXj%j½†rYjQX0rZ†r[hjÿ†r\hjÿ†r]j%X

r^†r_hj¹†r`jÌXdefinera†rbj%j½†rcj$Xfilterrd†rej%X
  rf†rgh€XStreamrh†rij%j½†rjh€X	Conditionrk†rlj%j½†rmhX->rn†roj%X
  rp†rqhj¹†rrj$Xsuperrs†rtj%j½†ruh€XStreamrv†rwj%X

         rx†ryhj¹†rzjÌX/.r{†r|j%j½†r}h€XValr~†rj%j½†r€hj¹†rjÌXifr‚†rƒj%j½†r„hj¹†r…j$X	Conditionr††r‡j%j½†rˆh€XValr‰†rŠhjÿ†r‹j%j½†rŒhj†rh€XValrŽ†rhjɆrj%j½†r‘jX[]r’†r“hjÿ†r”hjÿ†r•j%X

         r–†r—hj¹†r˜jÌXfunctionr™†ršj%j½†r›j$Xappendrœ†rhjÿ†ržj%X

         rŸ†r jX[]r¡†r¢hjÿ†r£hjÿ†r¤j%X

r¥†r¦hj¹†r§j$Xforr¨†r©j%j½†rªhj†r«jQjZ†r¬j%j½†r­hj¹†r®hõX+r¯†r°j%j½†r±jQX1r²†r³hjÿ†r´j%j½†rµhj¹†r¶hõX=r·†r¸j%j½†r¹jQX10rº†r»hjÿ†r¼hjɆr½j%j½†r¾hj¹†r¿jÌXfunctionrÀ†rÁj%j½†rÂj$XprintrÆrÄhjÿ†rÅhjÿ†rÆj%X

rdžrÈhj¹†rÉj$XfilterrʆrËj%j½†rÌhj†rÍjQjZ†rÎj%j½†rÏhj¹†rÐhõj¯†rÑj%j½†rÒjQj²†rÓhjÿ†rÔj%j½†rÕhj¹†rÖhõj·†r×j%j½†rØjQX100rÙ†rÚhjÿ†rÛhjɆrÜj%X	
        r݆rÞhj¹†rßjÌX/.rà†ráj%j½†râh€XXrã†räj%j½†råhj¹†ræhõXinteger?rç†rèj%j½†réhj¹†rêhõX/rë†rìj%j½†ríh€jã†rîj%j½†rïjQX3rð†rñhjÿ†ròhjÿ†róhjÿ†rôhjÿ†rõj%X


rö†r÷jxX\\ Typed functionsrø†rùj%X

rú†rûhj¹†rüjÌXdefinerý†rþj%j½†rÿj$X	typed-mapr†rj%X
  r†rhX{r†rj%j½†rhj¹†rh€XAr†r	j%j½†r
hX-->r†rj%j½†r
h€XBr†rhjÿ†rj%j½†rhX-->r†rj%j½†rhj¹†rjßXlistr†rj%j½†rh€j†rhjÿ†rj%j½†rhX-->r†rj%j½†rhj¹†rjßXlistr †r!j%j½†r"h€j†r#hjÿ†r$j%j½†r%hX}r&†r'j%X
  r(†r)h€XFr*†r+j%j½†r,h€jã†r-j%j½†r.hX->r/†r0j%j½†r1hj¹†r2j$Xtyped-map-hr3†r4j%j½†r5h€j*†r6j%j½†r7h€jã†r8j%j½†r9jX[]r:†r;hjÿ†r<hjÿ†r=j%X

r>†r?hj¹†r@jÌXdefinerA†rBj%j½†rCj$Xtyped-map-hrD†rEj%X
  rF†rGhj†rHj%j½†rIhj¹†rJh€j†rKj%j½†rLhX-->rM†rNj%j½†rOh€j†rPhjÿ†rQj%j½†rRhX-->rS†rTj%j½†rUhj¹†rVjßXlistrW†rXj%j½†rYh€j†rZhjÿ†r[j%j½†r\hX-->r]†r^j%j½†r_hj¹†r`jßXlistra†rbj%j½†rch€j†rdhjÿ†rej%j½†rfjxX
\\ commentrg†rhj%X
       ri†rjhX-->rk†rlj%j½†rmhj¹†rnjßXlistro†rpj%j½†rqh€j†rrhjÿ†rsj%j½†rthj&†ruj%X
  rv†rwhõX_rx†ryj%j½†rzjX[]r{†r|j%j½†r}h€jã†r~j%j½†rhX->r€†rj%j½†r‚hj¹†rƒhõXreverser„†r…j%j½†r†h€jã†r‡hjÿ†rˆj%X
  r‰†rŠh€j*†r‹j%j½†rŒhj†rh€jã†rŽj%j½†rhX|r†r‘j%j½†r’h€XYr“†r”hjɆr•j%j½†r–h€XZr—†r˜j%j½†r™hX->rš†r›j%j½†rœhj¹†rj$Xtyped-map-hrž†rŸj%j½†r h€j*†r¡j%j½†r¢h€j“†r£j%j½†r¤hj†r¥hj¹†r¦j$j*†r§j%j½†r¨h€jã†r©hjÿ†rªj%j½†r«hj†r¬j%j½†r­h€j—†r®hjɆr¯hjÿ†r°hjÿ†r±j%X

r²†r³hj¹†r´jÌXdefinerµ†r¶j%j½†r·j$X
append-stringr¸†r¹j%X
  rº†r»hj†r¼j%j½†r½jßXstringr¾†r¿j%j½†rÀhX-->rÁ†rÂj%j½†rÃjßXstringrĆrÅj%j½†rÆj—X
\* comment *\rdžrÈj%j½†rÉhX-->rʆrËj%j½†rÌjßXstringr͆rÎj%j½†rÏhj&†rÐj%X
  rцrÒh€XS1rÓ†rÔj%j½†rÕh€XS2rÖ†r×j%j½†rØhX->rÙ†rÚj%j½†rÛhj¹†rÜhõXcnr݆rÞj%j½†rßh€XS1rà†ráj%j½†râh€XS2rã†rähjÿ†råhjÿ†ræj%X

rç†rèhj¹†réjÌXletrê†rëj%j½†rìh€jã†ríj%j½†rîjQj²†rïj%X
     rð†rñh€j“†ròj%j½†rójQX2rô†rõj%X
  rö†r÷hj¹†røhõj¯†rùj%j½†rúhj¹†rûjÌXtyperü†rýj%j½†rþh€jã†rÿj%j½†rjDXnumberr†rhjÿ†rj%j½†rhj¹†rjÌXtyper†rj%j½†rh€j“†r	j%j½†r
jDXnumberr†rhjÿ†r
hjÿ†rhjÿ†rj%X

r†rjxX\\ Yaccr†rj%X

r†rhj¹†rjÌXdefccr†rj%j½†rj$X
<st_input>r†rj%X
  r†rjDX<lrb>r†rj%X  r †r!jDX<st_input1>r"†r#j%j½†r$jDX<rrb>r%†r&j%j½†r'jDX<st_input2>r(†r)j%X 
   r*†r+hX:=r,†r-j%j½†r.hj¹†r/j$X
package-macror0†r1j%j½†r2hj¹†r3hõXmacroexpandr4†r5j%j½†r6jDX<st_input1>r7†r8hjÿ†r9j%j½†r:jDX<st_input2>r;†r<hjÿ†r=hX;r>†r?j%X
  r@†rAjDX<lcurly>rB†rCj%j½†rDjDX
<st_input>rE†rFj%j½†rGhX:=rH†rIj%j½†rJhj†rKjDj†rLj%j½†rMhj†rNj%j½†rOjDX
<st_input>rP†rQhjɆrRhj>†rSj%X
  rT†rUjDX<rcurly>rV†rWj%j½†rXjDX
<st_input>rY†rZj%j½†r[hX:=r\†r]j%j½†r^hj†r_jDj&†r`j%j½†rahj†rbj%j½†rcjDX
<st_input>rd†rehjɆrfhj>†rgj%X    
  rh†rijDX<bar>rj†rkj%j½†rljDX
<st_input>rm†rnj%j½†rohX:=rp†rqj%j½†rrhj†rsjDXbar!rt†ruj%j½†rvhj†rwj%j½†rxjDX
<st_input>ry†rzhjɆr{hj>†r|j%X  
  r}†r~jDX<semicolon>r†r€j%j½†rjDX
<st_input>r‚†rƒj%j½†r„hX:=r…†r†j%j½†r‡hj†rˆhj>†r‰j%j½†rŠhj†r‹j%j½†rŒjDX
<st_input>r†rŽhjɆrhj>†rj%X
  r‘†r’jDX<colon>r“†r”j%j½†r•jDX<equal>r–†r—j%j½†r˜jDX
<st_input>r™†ršj%j½†r›hX:=rœ†rj%j½†ržhj†rŸhX:=r †r¡j%j½†r¢hj†r£j%j½†r¤jDX
<st_input>r¥†r¦hjɆr§hj>†r¨j%X
  r©†rªjDX<colon>r«†r¬j%j½†r­jDX<minus>r®†r¯j%j½†r°jDX
<st_input>r±†r²j%j½†r³hX:=r´†rµj%j½†r¶hj†r·jDX:-r¸†r¹j%j½†rºhj†r»j%j½†r¼jDX
<st_input>r½†r¾hjɆr¿hj>†rÀj%X
  rÁ†rÂjDX<colon>rÆrÄj%j½†rÅjDX
<st_input>rƆrÇj%j½†rÈhX:=rɆrÊj%j½†rËhj†rÌjDX:r͆rÎj%j½†rÏhj†rÐj%j½†rÑjDX
<st_input>rÒ†rÓhjɆrÔhj>†rÕj%X
  rÖ†r×jDX<comma>r؆rÙj%j½†rÚjDX
<st_input>rÛ†rÜj%j½†rÝhX:=rÞ†rßj%j½†ràhj†ráhj¹†râhõXinternrã†räj%j½†råjqX"ræ†rçjqX,rè†réjqjæ†rêhjÿ†rëj%j½†rìhj†ríj%j½†rîjDX
<st_input>rï†rðhjɆrñhj>†ròj%X
  ró†rôhõX<e>rõ†röj%j½†r÷hX:=rø†rùj%j½†rújX[]rû†rühj>†rýhjÿ†rþj%X
  
rÿ†rhj¹†rjÌXdefccr†rj%j½†rj$X<lsb>r†rj%X
   r†rjQX91r	†r
j%j½†rhX:=r†r
j%j½†rhõXskipr†rhj>†rhjÿ†rj%X

r†rjxX\\ Pattern matchingr†rj%X

r†rhj¹†rjÌXdefiner†rj%j½†rj$Xmatchesr†rj%X
  r†r jQj²†r!j%j½†r"h€jã†r#j%j½†r$jQjð†r%j%j½†r&hX->r'†r(j%j½†r)h€jã†r*j%X
  r+†r,h€jã†r-j%j½†r.h€j“†r/j%j½†r0h€j—†r1j%j½†r2hX->r3†r4j%j½†r5h€j“†r6j%j½†r7hõXwherer8†r9j%X  r:†r;hj¹†r<jÌXandr=†r>j%j½†r?hj¹†r@hõj·†rAj%j½†rBh€jã†rCj%j½†rDjQj²†rEhjÿ†rFj%j½†rGhj¹†rHhõj·†rIj%j½†rJh€j—†rKj%j½†rLjQjð†rMhjÿ†rNhjÿ†rOj%X
  rP†rQjXtruerR†rSj%j½†rTjXfalserU†rVj%j½†rWhõjx†rXj%j½†rYhX->rZ†r[j%j½†r\jXtruer]†r^j%X
  r_†r`hj¹†rajÌX@prb†rcj%j½†rdjDXare†rfj%j½†rgh€jã†rhj%j½†rijDXcrj†rkhjÿ†rlj%j½†rmhj¹†rnjÌX@sro†rpj%j½†rqh€jã†rrj%j½†rsjqjæ†rtjqje†rujqXbrv†rwjqjj†rxjqjæ†ryhjÿ†rzj%j½†r{hj¹†r|jÌX@vr}†r~j%j½†rjQj²†r€j%j½†rjQjô†r‚j%j½†rƒjQjð†r„j%j½†r…jX<>r††r‡hjÿ†rˆj%j½†r‰hX->rŠ†r‹j%j½†rŒjXtruer†rŽj%X
  r†rhj†r‘h€jã†r’j%j½†r“hj†r”j%j½†r•h€XRestr–†r—hjɆr˜j%j½†r™jX[]rš†r›j%j½†rœhj†rjDje†ržj%j½†rŸjDjv†r j%j½†r¡jDjj†r¢hjɆr£j%j½†r¤hX->r¥†r¦j%j½†r§jXtruer¨†r©j%X
  rª†r«hj†r¬hj¹†r­jÌX@pr®†r¯j%j½†r°jDje†r±j%j½†r²jDjv†r³hjÿ†r´hjɆrµj%j½†r¶hj†r·hj†r¸hj†r¹jQj²†rºhjɆr»j%j½†r¼jQjô†r½hjɆr¾j%j½†r¿h€jã†rÀhjɆrÁj%j½†rÂjqjæ†rÃjqXsrĆrÅjqXtrƆrÇjqXrrȆrÉjqXirʆrËjqXnr̆rÍjqXgrΆrÏjqjæ†rÐj%j½†rÑhX->rÒ†rÓj%j½†rÔjXtruerÕ†rÖj%X
  r׆rØhõjx†rÙj%j½†rÚhõjx†rÛj%j½†rÜhõjx†rÝj%j½†rÞhX->r߆ràj%j½†rájXfalserâ†rãhjÿ†räj%X


rå†ræjxX	\\ Prologrç†rèj%X

ré†rêhj¹†rëjÌX	defprologrì†ríj%j½†rîj$Xth*rï†rðj%X
  rñ†ròh€jã†rój%j½†rôh€j†rõj%j½†röh€XHypsr÷†røj%j½†rùhX<--rú†rûj%j½†rühj¹†rýj$Xshowrþ†rÿj%j½†rhj†rh€jã†rj%j½†rjDj͆rj%j½†rh€j†rhjɆrj%j½†rh€XHypsr	†r
hjÿ†rj%j½†rhj¹†r
hõXwhenr†rj%j½†rjXfalser†rhjÿ†rhj>†rj%X
  r†rh€jã†rj%j½†rh€j†rj%j½†rhõjx†rj%j½†rhX<--r†rj%j½†rhj¹†r hõXfwhenr!†r"j%j½†r#hj¹†r$j$Xtypedf?r%†r&j%j½†r'h€jã†r(hjÿ†r)hjÿ†r*j%j½†r+hj¹†r,hõXbindr-†r.j%j½†r/h€j*†r0j%j½†r1hj¹†r2j$Xsigfr3†r4j%j½†r5h€jã†r6hjÿ†r7hjÿ†r8j%j½†r9hj¹†r:hõXcallr;†r<j%j½†r=hj†r>h€j*†r?j%j½†r@h€j†rAhjɆrBhjÿ†rChj>†rDj%X
  rE†rFhj¹†rGhõXmoderH†rIj%j½†rJhj†rKh€j*†rLhjɆrMj%j½†rNjDX-rO†rPhjÿ†rQj%j½†rRh€j†rSj%j½†rTh€XHyprU†rVj%j½†rWhX<--rX†rYj%j½†rZhj¹†r[j$Xth*r\†r]j%j½†r^h€j*†r_j%j½†r`hj†rahX-->rb†rcj%j½†rdh€j†rehjɆrfj%j½†rgh€XHyprh†rihjÿ†rjhj>†rkj%X
  rl†rmhj¹†rnhõXmodero†rpj%j½†rqhj†rrjDXconsrs†rtj%j½†ruh€jã†rvj%j½†rwh€j“†rxhjɆryj%j½†rzjDjO†r{hjÿ†r|j%j½†r}hj†r~jDXlistr†r€j%j½†rh€j†r‚hjɆrƒj%j½†r„h€XHypr…†r†j%j½†r‡hX<--rˆ†r‰j%j½†rŠhj¹†r‹j$Xth*rŒ†rj%j½†rŽh€jã†rj%j½†rh€j†r‘j%j½†r’h€XHypr“†r”hjÿ†r•j%j½†r–hj¹†r—j$Xth*r˜†r™j%j½†ršh€j“†r›j%j½†rœhj†rjDXlistrž†rŸj%j½†r h€j†r¡hjɆr¢j%j½†r£h€XHypr¤†r¥hjÿ†r¦hj>†r§j%X
  r¨†r©hj¹†rªhõXmoder«†r¬j%j½†r­hj†r®jDX@sr¯†r°j%j½†r±h€jã†r²j%j½†r³h€j“†r´hjɆrµj%j½†r¶jDjO†r·hjÿ†r¸j%j½†r¹jDXstringrº†r»j%j½†r¼h€XHypr½†r¾j%j½†r¿hX<--rÀ†rÁj%j½†rÂhj¹†rÃj$Xth*rĆrÅj%j½†rÆh€jã†rÇj%j½†rÈjDXstringrɆrÊj%j½†rËh€XHypr̆rÍhjÿ†rÎj%j½†rÏhj¹†rÐj$Xth*rцrÒj%j½†rÓh€j“†rÔj%j½†rÕjDXstringrÖ†r×j%j½†rØh€XHyprÙ†rÚhjÿ†rÛhj>†rÜj%X
  r݆rÞhj¹†rßhõXmoderà†ráj%j½†râhj†rãjDXlambdarä†råj%j½†ræh€jã†rçj%j½†rèh€j“†réhjɆrêj%j½†rëjDjO†rìhjÿ†ríj%j½†rîhj†rïh€j†rðj%j½†rñhX-->rò†rój%j½†rôh€j†rõhjɆröj%j½†r÷h€XHyprø†rùe(j%j½†rúhX<--rû†rüj%j½†rýhõX!rþ†rÿj%X- 
                                           r	†r	hj¹†r	hõXbindr	†r	j%j½†r	h€XX&&r	†r	j%j½†r	hj¹†r		j$Xplaceholderr
	†r	hjÿ†r	hjÿ†r
	j%X- 
                                           r	†r	hj¹†r	hõXbindr	†r	j%j½†r	h€j—†r	j%j½†r	hj¹†r	j$Xebrr	†r	j%j½†r	h€XX&&r	†r	j%j½†r	h€jã†r	j%j½†r	h€j“†r	hjÿ†r 	hjÿ†r!	j%X,
                                           r"	†r#	hj¹†r$	j$Xth*r%	†r&	j%j½†r'	h€j—†r(	j%j½†r)	h€j†r*	j%j½†r+	hj†r,	hj†r-	h€XX&&r.	†r/	j%j½†r0	jDj͆r1	j%j½†r2	h€j†r3	hjɆr4	j%j½†r5	hj†r6	j%j½†r7	h€XHypr8	†r9	hjɆr:	hjÿ†r;	hj>†r<	j%X 
  r=	†r>	hj¹†r?	hõXmoder@	†rA	j%j½†rB	hj†rC	jDXtyperD	†rE	j%j½†rF	h€jã†rG	j%j½†rH	h€j†rI	hjɆrJ	j%j½†rK	jDjO†rL	hjÿ†rM	j%j½†rN	h€j†rO	j%j½†rP	h€XHyprQ	†rR	j%j½†rS	hX<--rT	†rU	j%j½†rV	hõjþ†rW	j%j½†rX	hj¹†rY	hõXunifyrZ	†r[	j%j½†r\	h€j†r]	j%j½†r^	h€j†r_	hjÿ†r`	j%j½†ra	hj¹†rb	j$Xth*rc	†rd	j%j½†re	h€jã†rf	j%j½†rg	h€j†rh	j%j½†ri	h€XHyprj	†rk	hjÿ†rl	hj>†rm	hjÿ†rn	j%X

ro	†rp	jxX	\\ Macrosrq	†rr	j%X

rs	†rt	hj¹†ru	jÌXdefmacrorv	†rw	j%j½†rx	j$X	log-macrory	†rz	j%X
  r{	†r|	hj†r}	jDXlogr~	†r	j%j½†r€	h€XNr	†r‚	hjɆrƒ	j%j½†r„	hX->r…	†r†	j%j½†r‡	hj†rˆ	jDXlogr‰	†rŠ	j%j½†r‹	h€j	†rŒ	j%j½†r	jQX10rŽ	†r	hjɆr	hjÿ†r‘	j%X

r’	†r“	jxX\\ Sequent calculusr”	†r•	j%X

r–	†r—	hj¹†r˜	jÌXdatatyper™	†rš	j%j½†r›	jßXrankrœ	†r	j%X

  rž	†rŸ	jDXifr 	†r¡	j%j½†r¢	hj¹†r£	hõXelement?r¤	†r¥	j%j½†r¦	h€jã†r§	j%j½†r¨	hj†r©	jDXacerª	†r«	j%j½†r¬	jQjô†r­	j%j½†r®	jQjð†r¯	j%j½†r°	jQX4r±	†r²	j%j½†r³	jQX5r´	†rµ	j%j½†r¶	jQX6r·	†r¸	j%j½†r¹	jQX7rº	†r»	j%j½†r¼	jQX8r½	†r¾	j%j½†r¿	jQX9rÀ	†rÁ	j%j½†rÂ	jQX10rÃ	†rÄ	j%j½†rÅ	jDXjackrÆ	†rÇ	j%j½†rÈ	jDXqueenrÉ	†rÊ	j%j½†rË	jDXkingrÌ	†rÍ	hjɆrÎ	hjÿ†rÏ	j%X
  rÐ	†rÑ	hX________rÒ	†rÓ	j%X
  rÔ	†rÕ	h€jã†rÖ	j%j½†r×	jDj͆rØ	j%j½†rÙ	jßXrankrÚ	†rÛ	hj>†rÜ	hjÿ†rÝ	j%X

rÞ	†rß	hj¹†rà	jÌXdatatyperá	†râ	j%j½†rã	jDXsuiträ	†rå	j%X

  ræ	†rç	jDXifrè	†ré	j%j½†rê	hj¹†rë	hõXelement?rì	†rí	j%j½†rî	h€XSuitrï	†rð	j%j½†rñ	hj†rò	jDXspadesró	†rô	j%j½†rõ	jDXheartsrö	†r÷	j%j½†rø	jDXdiamondsrù	†rú	j%j½†rû	jDXclubsrü	†rý	hjɆrþ	hjÿ†rÿ	j%X
  r
†r
hX	_________r
†r
j%X
  r
†r
h€XSuitr
†r
j%j½†r
jDj͆r	
j%j½†r

jßXsuitr
†r
hj>†r
hjÿ†r
j%X

r
†r
hj¹†r
jÌXdatatyper
†r
j%j½†r
jDXcardr
†r
j%X

  r
†r
h€XRankr
†r
j%j½†r
jDj͆r
j%j½†r
jßXrankr
†r
hj>†r 
j%j½†r!
h€XSuitr"
†r#
j%j½†r$
jDj͆r%
j%j½†r&
jßXsuitr'
†r(
hj>†r)
j%X
  r*
†r+
hX_________________r,
†r-
j%X
  r.
†r/
hj†r0
h€XRankr1
†r2
j%j½†r3
h€XSuitr4
†r5
hjɆr6
j%j½†r7
jDj͆r8
j%j½†r9
jßXcardr:
†r;
hj>†r<
j%X

  r=
†r>
h€XRankr?
†r@
j%j½†rA
jDj͆rB
j%j½†rC
jßXrank,rD
†rE
j%j½†rF
h€XSuitrG
†rH
j%j½†rI
jDj͆rJ
j%j½†rK
jßXsuitrL
†rM
j%j½†rN
hõX>>rO
†rP
j%j½†rQ
h€XPrR
†rS
hj>†rT
j%X
  rU
†rV
hX_____________________rW
†rX
j%X
  rY
†rZ
hj†r[
h€XRankr\
†r]
j%j½†r^
h€XSuitr_
†r`
hjɆra
j%j½†rb
jDj͆rc
j%j½†rd
jßXcardre
†rf
j%j½†rg
hõX>>rh
†ri
j%j½†rj
h€jR
†rk
hj>†rl
hjÿ†rm
j%X

rn
†ro
hj¹†rp
jÌXdatatyperq
†rr
j%j½†rs
jDXcardrt
†ru
j%X

  rv
†rw
h€XRankrx
†ry
j%j½†rz
jDj͆r{
j%j½†r|
jßXrankr}
†r~
hj>†r
j%j½†r€
h€XSuitr
†r‚
j%j½†rƒ
jDj͆r„
j%j½†r…
jßXsuitr†
†r‡
hj>†rˆ
j%X
  r‰
†rŠ
hX==================r‹
†rŒ
j%X
  r
†rŽ
hj†r
h€XRankr
†r‘
j%j½†r’
h€XSuitr“
†r”
hjɆr•
j%j½†r–
jDj͆r—
j%j½†r˜
jßXcardr™
†rš
hj>†r›
hjÿ†rœ
j%X

r
†rž
jxX,\\ String interpolation and escape sequencesrŸ
†r 
j%X

r¡
†r¢
jqjæ†r£
jqje†r¤
jqjv†r¥
jqjj†r¦
jwX~Ar§
†r¨
jqj½†r©
jwX~Srª
†r«
jwX~Rr¬
†r­
jqj½†r®
jwX~%r¯
†r°
jqj½†r±
jqjv†r²
jqXlr³
†r´
jqje†rµ
jqXhr¶
†r·
jqX
r¸
†r¹
jqj½†rº
j«Xc#30;r»
†r¼
j«Xc#31;r½
†r¾
jqjv†r¿
jqj³
†rÀ
jqje†rÁ
jqj¶
†rÂ
jqjæ†rÃ
j%X

rÄ
†rÅ
hjÿ†rÆ
j%j¸
†rÇ
e.

Products

About

Resources

Contact Gemfury