sphynx

(define l_y1 :: int)
(define l_y2 :: int)
(define l_y3 :: int)
(define l_x1 :: int)
(define l_x2 :: int)
(define l_x3 :: int)
(define l_x4 :: int)

(assert (<= l_x1 3))
(assert (>= l_x1 0))

sphynx

SSH_ENV="$HOME/.ssh/environment"

function start_agent {
  echo "Initializing new SSH agent..."
  /usr/bin/ssh-agent | sed 's/^echo/#echo/' > "${SSH_ENV}"
  echo succeeded
  chmod 600 "${SSH_ENV}"
  . "${SSH_ENV}" > /dev/null
  /usr/bin/ssh-add;
}

sphynx

;; Packages.
(require 'package)
(add-to-list 'package-archives
             (cons "melpa-stable" "http://stable.melpa.org/packages/") t)
(package-initialize)

(add-to-list 'load-path "~/elisp") ;; for saving some custom code.

;; Save customizations in a separate file.
(setq custom-file (expand-file-name "custom.el" user-emacs-directory))

sphynx

;; Packages.
(require 'package)
(add-to-list 'package-archives
             (cons "melpa-stable" "http://stable.melpa.org/packages/") t)
(package-initialize)

(add-to-list 'load-path "~/elisp") ;; for saving some custom code.

;; Save customizations in a separate file.
(setq custom-file (expand-file-name "custom.el" user-emacs-directory))

sphynx

#include <stdio.h>
#include <stdlib.h>

typedef void (*func) (const char *);

struct module {
    func print;
    func println;
};