rhz

mkdir -p lib
cp /home/rhz/src/scala/mois-fba/tmp/lib/libglpk.so /home/rhz/src/scala/mois-fba/tmp/lib/jni/libglpk_java.so /home/rhz/src/scala/mois-fba/tmp/share/java/glpk-java.jar lib
sbt -batch -no-colors compile
[info] Loading project definition from /home/rhz/src/scala/mois-fba/project
[info] Set current project to mois-fba (in build file:/home/rhz/src/scala/mois-fba/)
[info] Compiling 2 Scala sources to /home/rhz/src/scala/mois-fba/target/scala-2.11/classes...
[error] /home/rhz/src/scala/mois-fba/src/main/scala/uk/ac/ed/inf/mois/fba/Linear.scala:36: object RateLawReactionNetwork is not a member of package uk.ac.ed.inf.mois.reaction
[error] import uk.ac.ed.inf.mois.reaction.RateLawReactionNetwork
[error]        ^
[error] /home/rhz/src/scala/mois-fba/src/main/scala/uk/ac/ed/inf/mois/fba/Linear.scala:38: object Bounds is not a member of package uk.ac.ed.inf.mois

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

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

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