$% \require{begingroup} \begingroup \newcommand{\calc}{\begin{align} \quad &} \newcommand{\op}[1]{\ #1 \quad & \quad \unicode{x201c}} \newcommand{\hints}[1]{\mbox{#1} \ \quad & \quad \phantom{\unicode{x201c}} } \newcommand{\hint}[1]{\mbox{#1} \unicode{x201d} \ \quad & } \newcommand{\endcalc}{\end{align}} \newcommand{\subcalch}[1]{\ \quad & \quad #1 \ \quad &} \newcommand{\subcalc}{\quad \begin{aligned} \quad & \ \bullet \quad & }
This file contains 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
-- first let's get the type signatures out of the way | |
band :: Integer -> Integer -> Integer | |
bor :: Integer -> Integer -> Integer | |
bnot :: Integer -> Integer | |
-- now a special case, to terminate the recursion for 'band'; | |
-- this follows directly from the general definition below | |
a `band` b | a == a `div` 2 && b == b `div` 2 = - ((a `mod` 2) * (b `mod` 2)) |
This file contains 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
$ | |
\newcommand{\calc}{\begin{align} \quad &} | |
\newcommand{\calcop}[2]{\notag \\ #1 \;\;\; & \;\;\; \langle\mbox{#2}\rangle \notag \\ \quad & } | |
\newcommand{\endcalc}{\notag \end{align}} | |
\newcommand{\subcalc}{\quad \begin{aligned} \\ \bullet \quad &} | |
\newcommand{\subcalcop}[2]{\calcop{#1}{#2} \subcalc} | |
\newcommand{\endsubcalc}{\notag \end{aligned} \\ \\ \cdot \quad &} | |
\newcommand{\nextsubcalc}{\notag \end{aligned} \\ \\ & \subcalc} | |
$_(Referenced in [Ghilbert Google group thread 'Step theorem display and HTML typesetting'](https://groups.google.com/d/topic/ghilbert/44niyKKts_8/discussion).)_ |
This file contains 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
param( | |
[parameter(Mandatory=$true)] | |
[string] $path | |
) | |
# the code below has been used from | |
# https://blogs.technet.com/b/heyscriptingguy/archive/2013/10/19/weekend-scripter-use-powershell-and-pinvoke-to-remove-stubborn-files.aspx | |
# with inspiration from | |
# http://www.leeholmes.com/blog/2009/02/17/moving-and-deleting-really-locked-files-in-powershell/ | |
# and error handling from |
This file contains 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
[INFO] Scanning for projects... | |
[INFO] Searching repository for plugin with prefix: 'dependency'. | |
[INFO] ------------------------------------------------------------------------ | |
[INFO] Building maven-issues-repro | |
[INFO] task-segment: [dependency:tree] | |
[INFO] ------------------------------------------------------------------------ | |
[INFO] [dependency:tree {execution: default-cli}] | |
[INFO] marnix.so:maven-issues-repro:jar:1.0-SNAPSHOT | |
[INFO] +- org.springframework.data:spring-data-jpa:jar:1.1.0.RELEASE:compile | |
[INFO] | +- org.springframework.data:spring-data-commons-core:jar:1.3.0.RELEASE:compile |
This file contains 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
<project | |
xmlns="http://maven.apache.org/POM/4.0.0" | |
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | |
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> | |
<modelVersion>4.0.0</modelVersion> | |
<groupId>marnix.so</groupId> | |
<artifactId>maven-issues-repro</artifactId> | |
<version>1.0-SNAPSHOT</version> | |
<packaging>jar</packaging> |
This file contains 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
# Inspiration from | |
# | |
# http://blogs.msdn.com/b/opticalstorage/archive/2010/08/13/writing-optical-discs-using-imapi-2-in-powershell.aspx | |
# | |
# and | |
# | |
# http://tools.start-automating.com/Install-ExportISOCommand/ | |
# | |
# with help from | |
# |
This file contains 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
function cleanup() { | |
write-host "Cleaning up..." | |
remove-item $schemaFile | |
break | |
} | |
trap { | |
cleanup | |
} |
This file contains 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
function cleanup() { | |
write-host "Cleaning up..." | |
remove-item $schemaFile | |
break | |
} | |
trap { | |
cleanup | |
} |
This file contains 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
function cleanup() { | |
write-host "Cleaning up..." | |
remove-item $schemaFile | |
break | |
} | |
trap { | |
cleanup | |
} |