| #!/bin/bash | |
| if [ $# -lt 3 ]; then | |
| echo "Shows the changes in compiled code from scalac between versions" | |
| echo "Usage: $BASH_SOURCE v1 v2 classname" | |
| echo " Where v1 and v2 are legal Scala compiler versions, such as 2.8.0, 2.9.0 and 2.10" | |
| echo " ... and classname is fully qualified, such as com/blah/MyClass" | |
| exit -1 | |
| fi | |
| function input { |
| [info] Starting scala interpreter... | |
| [info] | |
| Welcome to Scala version 2.10.2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_21). | |
| Type in expressions to have them evaluated. | |
| Type :help for more information. | |
| scala> import shapeless._ | |
| import shapeless._ |
| Welcome to Scala version 2.10.2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_21). | |
| Type in expressions to have them evaluated. | |
| Type :help for more information. | |
| scala> import shapeless._ | |
| import shapeless._ | |
| scala> import syntax.tuple._ | |
| import syntax.tuple._ |
Howto build a rust compiler for the Raspberry Pi on Debian 7.1 (wheezy)
sudo apt-get install git build-essential
test `uname -m` = x86_64 && sudo apt-get install ia32-libs
git clone https://github.com/raspberrypi/tools.git
export PATH=$PWD/tools/arm-bcm2708/gcc-linaro-arm-linux-gnueabihf-raspbian/bin:$PATH
git clone http://github.com/mozilla/rust.git
cd rust
./configure --target-triples=arm-unknown-linux-gnueabihf
make
| config.vm.provider :vmware_fusion do |vm| | |
| vdiskmanager = '/Applications/VMware\ Fusion.app/Contents/Library/vmware-vdiskmanager' | |
| dir = "#{ENV['HOME']}/vagrant-additional-disk" | |
| unless File.directory?( dir ) | |
| Dir.mkdir dir | |
| end |
The idea is based on a gist by @jimbojsb.
You can use Pygments or Highlight.
brew install python
| (defvar coq-pre-extensions | |
| '( | |
| proof-general | |
| )) | |
| (defun coq/init-proof-general () | |
| "Initialize Proof General" | |
| (use-package proof-site | |
| :defer t | |
| :mode ("\\.v\\'" . coq-mode) |