cviebig

;;; config.el --- rtags layer configuration file
;;
;; Copyright (c) 2012-2016 Sylvain Benner & Contributors
;;
;; This file is not part of GNU Emacs.
;;
;;; License: GPLv3

;; Prerequisites

pjones

let
  pkgs   = import <nixpkgs> {};
  stdenv = pkgs.stdenv;
  mysql  = pkgs.mysql55;
in rec {
  cltc-claims = stdenv.mkDerivation rec {
    name = "cltc-claims";
    version = "0.0";
    src = ./.;

bishboria

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

chrisdone

Basic unit type:

λ> replTy "()"
() :: ()

Basic functions:

DamienCassou

{ config, pkgs, ... }:

let
  hostname = "luz3";
in {
  imports =
    [ # Include the results of the hardware scan.
      ./hardware-configuration.nix

      # I use VirtualBox to connect to Windows and Linux guests

yohhoy

/*
 * C11 <threads.h> emulation library
 *
 * (C) Copyright yohhoy 2012.
 * Distributed under the Boost Software License, Version 1.0.
 * (See copy at http://www.boost.org/LICENSE_1_0.txt)
 */
#ifndef EMULATED_THREADS_H_INCLUDED_
#define EMULATED_THREADS_H_INCLUDED_

kriyative

(defmacro -> (x &rest args)
  "A Common-Lisp implementation of the Clojure `thrush` operator."
  (destructuring-bind (form &rest more)
      args
    (cond
      (more `(-> (-> ,x ,form) ,@more))
      ((and (consp form)
            (or (eq (car form) 'lambda)
                (eq (car form) 'function)))
       `(funcall ,form ,x))