This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
##### DEBIAN ################ | |
# Debian Experimental | |
# deb http://ftp.de.debian.org/debian experimental main contrib non-free | |
# deb-src http://ftp.de.debian.org/debian experimental main contrib | |
# Debian Sid # CURRENT UNSTABLE | |
# deb http://ftp.de.debian.org/debian sid main contrib non-free | |
# deb-src http://ftp.de.debian.org/debian sid main contrib non-free | |
# Debian 8.0 (Jessie) # CURRENT TESTING |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
fun show_doubletuple [t ::: Type] (_ : show t) = | |
mkShow (fn ii => | |
List.foldr | |
String.append | |
"" | |
("⦉" :: (show ii.1) :: ", " :: (show ii.2) :: "⦊" :: []) | |
) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<meta charset="utf-8"> | |
<body> | |
<script src="http://d3js.org/d3.v3.min.js"></script> | |
<script src="http://d3js.org/topojson.v1.min.js"></script> | |
<script src="http://datamaps.github.io/scripts/datamaps.world.min.js?v=1"></script> | |
<h2>Datamaps Playground</h2> | |
<p><a href="http://datamaps.github.io/">DataMaps Project Homepage</a></p> | |
<div id="container1" style="position: relative; width: 80%; max-height: 450px;"></div> | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# For complete documentation of this file, please see Geany's main documentation | |
[styling=CAML] | |
[keywords] | |
keywords=and con constraint constraints cookie datatype end fn fun open sequence struct structure style table task type val view | |
keywords_optional= | |
[lexer_properties=CAML] | |
[settings] |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# For complete documentation of this file, please see Geany's main documentation | |
[styling=C] | |
[keywords] | |
# all items must be in one line | |
primary=accountprefix accountreport accountroot active adopt aggregate alert alertlevels alternative author auxdir balance caption cellcolor celltext center charge chargeset columnid columns complete copyright credits currency currencyformat dailymax dailymin dailyworkinghours date definitions depends details disabled duration efficiency effort effortdone effortleft email enabled end endcredit epilog fail flags fontcolor footer formats functions gapduration gaplength halign hasalert header headline height hideaccount hidejournalentry hidereport hideresource hidetask icalreport include inherit interval1 interval2 interval3 interval4 isactive ischildof isdependencyof isdutyof isfeatureof isleaf ismilestone isongoing isresource isresponsibilityof istask isvalid journalattributes journalmode leaveallowance leaves length limits listitem listtype loadunit logicalexpression logical |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import re | |
# Events - start tag, end tag | |
START = 'start' | |
END = 'end' | |
def regex_lexer(markup, rgx_tag="<(?P<event>/?)(?P<tag>[A-Z])>"): | |
""" Regex-based lexer. |
OlderNewer