Having trouble installing the latest stable version of tmux?
Save yourself some time and run this little fellow!
- gcc
- wget
+++ b/src/library/scala/Enumeration.scala | |
+ @deprecated("Names should be specified individually or discovered via reflection", "2.10.0") | |
+ def this(initial: Int, names: String*) = { | |
+ @deprecated("Names should be specified individually or discovered via reflection", "2.10.0") | |
def this(names: String*) = this(0, names: _*) | |
+++ b/src/library/scala/Predef.scala | |
+ // @deprecated("Use scala.AnyRef instead", "2.10.0") | |
+ // def AnyRef = scala.AnyRef |
object experiment { | |
import language.experimental.macros | |
import language.dynamics | |
import scala.reflect.macros._ | |
case class Rep[+T](x:String) | |
implicit def anyToRep[T](x:T) = new Rep[T](x.toString) |
Having trouble installing the latest stable version of tmux?
Save yourself some time and run this little fellow!
module LP where | |
open import Data.Empty using () renaming (⊥ to Empty) | |
open import Data.Product using (∃ ; _×_ ; _,_ ; proj₁ ; proj₂) | |
open import Data.Unit using () renaming (⊤ to Unit ; tt to unit) | |
open import Relation.Binary.PropositionalEquality as P -- using (_≡_ ; refl; cong₂; subst) | |
data Cx (X : Set) : Set where | |
∅ : Cx X |
{ | |
/* Keybindings for emacs emulation. Compiled by Jacob Rus. | |
* | |
* This is a pretty good set, especially considering that many emacs bindings | |
* such as C-o, C-a, C-e, C-k, C-y, C-v, C-f, C-b, C-p, C-n, C-t, and | |
* perhaps a few more, are already built into the system. | |
* | |
* BEWARE: | |
* This file uses the Option key as a meta key. This has the side-effect | |
* of overriding Mac OS keybindings for the option key, which generally |
No need for homebrew or anything like that. Works with https://www.git-tower.com and the command line.
gpg --list-secret-keys
and look for sec
, use the key ID for the next stepgit
to use GPG -- replace the key with the one from gpg --list-secret-keys
{-# LANGUAGE CPP, MagicHash #-} | |
module Lib where | |
import qualified Prelude | |
#ifdef __GLASGOW_HASKELL__ | |
import qualified GHC.Base | |
unsafeCoerce = GHC.Base.unsafeCoerce# |
//package test | |
import scala.language.higherKinds | |
object CT { | |
trait Category[Obj[_],C[_,_]] { // Obj is the value representation of objects, C the type representation of morphisms | |
def id[A:Obj]: C[A,A] | |
def compose[X:Obj,Y:Obj,Z:Obj](f: C[Y,Z], g: C[X,Y]): C[X,Z] | |
} |
From mathcomp Require Import ssreflect ssrnat eqtype ssrbool ssrnum ssralg. | |
Require Import Ring. | |
Open Scope ring_scope. | |
Import GRing.Theory. | |
Variable R: numFieldType. | |
Definition rt : |
rom mathcomp Require Import ssreflect ssrnat eqtype ssrbool ssrnum ssralg. | |
Require Import Ring. | |
Import GRing.Theory. | |
Open Scope ring_scope. | |
Section foo. | |
Variable R: numFieldType. | |
Definition T:= R. |