lambdaterm

% This file was created with JabRef 2.7b.
% Encoding: UTF-8

@ARTICLE{Church1940,
  author = {Church A.},
  title = {A Formulation of the Simple Theory of Types},
  journal = {Journal of Symbolic Logic},
  year = {1940},
  volume = {5},
  owner = {alex},

lambdaterm

#!/usr/bin/python
# -*- coding: utf-8 -*-

import os
import datetime
import struct, socket, fcntl

def getHwAddr(ifname):
    s = socket.socket(socket.AF_INET, socket.SOCK_DGRAM)
    info = fcntl.ioctl(s.fileno(), 0x8927,  struct.pack('256s', ifname[:15]))

lambdaterm

;; -*-lisp-*-
;;
;; Stumpwm user definitions

(in-package :stumpwm)

(defun cat (&rest strings) ; "Concatenates strings, like the Unix command 'cat'. A shortcut for (concatenate 'string foo bar)."
  (apply 'concatenate 'string strings))

(set-font "-*-terminus-medium-r-normal-*-12-*-*-*-*-*-iso10646-1")