Blaisorblade

+++ 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

Blaisorblade

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)

Blaisorblade

Having trouble installing the latest stable version of tmux?

Save yourself some time and run this little fellow!

Prerequisities

• gcc
• wget

Blaisorblade

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

Blaisorblade

{
/* 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

Blaisorblade

GPG and git on macOS

Setup

No need for homebrew or anything like that. Works with https://www.git-tower.com and the command line.

1. Install https://gpgtools.org -- I'd suggest to do a customized install and deselect GPGMail.
2. Create or import a key -- see below for https://keybase.io
3. Run gpg --list-secret-keys and look for sec, use the key ID for the next step
4. Configure git to use GPG -- replace the key with the one from gpg --list-secret-keys

Blaisorblade

{-# LANGUAGE CPP, MagicHash #-}

module Lib where

import qualified Prelude


#ifdef __GLASGOW_HASKELL__
import qualified GHC.Base
unsafeCoerce = GHC.Base.unsafeCoerce#

Blaisorblade

//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]
    }

Blaisorblade

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 :

Blaisorblade

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.