rhz

module Main where

import System.Process
import System.Environment (getArgs)
import Data.List (intercalate)

data Gender = Male
            | Female

data Var = FirstValue

rhz

data Nat : Set where
  zero : Nat
  suc  : Nat -> Nat

data Vec (A : Set) : Nat -> Set where
  []   : Vec A zero
  _::_ : {n : Nat} -> A -> Vec A n -> Vec A (suc n)

data Fin : Nat -> Set where
  fzero : {n : Nat} -> Fin (suc n)

rhz

bluetoothd[31844]: Bluetooth daemon 5.50
bluetoothd[31844]: src/main.c:parse_config() parsing /etc/bluetooth/main.conf
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “DiscoverableTimeout” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “PairableTimeout” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “Privacy” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “Name” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “Class” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “DeviceID” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “ReverseServiceDiscovery” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “MinEncKeySize” in group “GATT”

rhz

% This is for XeLaTeX
\documentclass[12pt,svgnames,dvipsnames]{beamer}

% https://kbroman.org/blog/2013/10/07/better-looking-latexbeamer-slides/
\usepackage{graphicx}

\setbeameroption{hide notes}
\setbeamertemplate{note page}[plain]

% use the default Beamer theme

rhz

<!DOCTYPE node PUBLIC "-//freedesktop//DTD D-BUS Object Introspection 1.0//EN"
          "http://www.freedesktop.org/standards/dbus/1.0/introspect.dtd">
<node>
  <interface name="org.freedesktop.DBus.Introspectable">
    <method name="Introspect">
      <arg name="xml" type="s" direction="out"/>
    </method>
  </interface>
  <interface name="org.bluez.Device1">
    <method name="Disconnect"></method>