Skip to content

Instantly share code, notes, and snippets.

View squadette's full-sized avatar

Alexey Makhotkin squadette

  • Amsterdam, Netherlands
View GitHub Profile
\begin{equation}
\begin{split}
\graybg{$\code{case (<l$_j$=v$_j$> as T) of <l$_i$=x$_i$>$\Rightarrow$
t$_i{}^{i \in 1..n}$}$} \\
\graybg{$\to [\code{x}_j \mapsto \code{v}_j]\code{t}_j$}
\end{split}
\tag{E-CaseVariant}
\end{equation}
From 78301914125d420bce49b1ca40001200f6f9ef30 Mon Sep 17 00:00:00 2001
From: Alexey Mahotkin <squadette@gmail.com>
Date: Sun, 3 Oct 2010 18:11:19 +0400
Subject: [PATCH 1/2] Typos
---
.../pgf/text-en/pgfmanual-en-introduction.tex | 2 +-
doc/generic/pgf/text-en/pgfmanual-en-tutorial.tex | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
From 06fdb97439e792e85f2b248daa6b2a017c31a564 Mon Sep 17 00:00:00 2001
From: Alexey Mahotkin <squadette@gmail.com>
Date: Wed, 6 Oct 2010 17:09:06 +0400
Subject: [PATCH 2/2] Typos
---
.../pgf/text-en/pgfmanual-en-guidelines.tex | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/generic/pgf/text-en/pgfmanual-en-guidelines.tex b/doc/generic/pgf/text-en/pgfmanual-en-guidelines.tex
import Data.List
import qualified Data.Map as Map
import Data.Ord
import Control.Monad.State
import Data.Maybe
import System.IO
step = 1000
collatz_len2 :: Integer -> State (Map.Map Integer Integer) Integer
set_prev_next [t] -> [(t, t, t)] # (value, prev, next)
set_prev_next xs = set_prev nil xs
set_prev p x:xs = (x, p, next_of xs) : set_prev x xs
set_prev p [] = []
next_of x:xs = x
next_of [] = nil
+----------------------+-------+-------+---------+---------+-----+-------+
| Name | Lines | LOC | Classes | Methods | M/C | LOC/M |
+----------------------+-------+-------+---------+---------+-----+-------+
| Controllers | 1268 | 809 | 20 | 68 | 3 | 9 |
| Helpers | 61 | 53 | 0 | 4 | 0 | 11 |
| Models | 218 | 175 | 15 | 16 | 1 | 8 |
| Mailers | 0 | 0 | 0 | 0 | 0 | 0 |
| Javascripts | 200 | 131 | 0 | 19 | 0 | 4 |
| Libraries | 1116 | 882 | 12 | 49 | 4 | 16 |
+----------------------+-------+-------+---------+---------+-----+-------+
def self.replace_urls (text)
rx = /(https?:\/\/\p{^Space}+)/
components = text.split(rx).map do |str|
if rx =~ str
chopped = ""
extra_url = ""
str.gsub!(/\p{Punct}+\z/) do |trailing|
if !trailing.blank? && trailing[0] == ')' && /[(]/ =~ str
extra_url += ")"
trailing.slice!(0)
sub fancy_decode {
my $post_title = shift;
$post_title = decode("utf-8", $post_title);
# Devel::Peek::Dump($post_title);
$post_title = encode("iso-8859-1", $post_title, Encode::FB_PERLQQ);
$post_title =~ s/\320\\x\{([0-9a-f]+)\}/!!!320-$1!!!/g;
$post_title =~ s/\321\\x\{([0-9a-f]+)\}/!!!321-$1!!!/g;
import React from 'react';
import PropTypes from 'prop-types';
export default class OxfordComma extends React.Component {
render () {
const count = React.Children.count(this.props.children);
if (count === 0 || count === 1) {
return <span>{this.props.children}</span>;
}
--- ParamVal.pm.orig 2017-12-03 12:34:53.000000000 +0100
+++ ParamVal.pm 2017-12-03 12:35:30.000000000 +0100
@@ -257,7 +257,9 @@
$badtoken =~ /^($TOKEN)*/;
$badtoken = $1;
# Cut it off at first whitespace too
- $badtoken =~ s/\s.*//;
+ if (defined $badtoken) {
+ $badtoken =~ s/\s.*//;
+ }