Skip to content

Instantly share code, notes, and snippets.

##### 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
fun show_doubletuple [t ::: Type] (_ : show t) =
mkShow (fn ii =>
List.foldr
String.append
""
("⦉" :: (show ii.1) :: ", " :: (show ii.2) :: "⦊" :: [])
)
<!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>
@AlexanderAA
AlexanderAA / filetypes.Ur.conf
Last active December 22, 2016 13:59
Ur/Web syntax highlighting for Geany editor
# 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]
@AlexanderAA
AlexanderAA / filetypes.Tj.conf
Last active December 22, 2016 14:00
Taskjuggler syntax highlighting for Geany editor
# 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
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.