bounded-registers 0.1.1

A high-assurance memory-mapped register interaction library
1
2
3
4
5
6
7
8

#! /bin/bash

set -e

agda --latex Bounded.lagda
cd latex
pdflatex Bounded.tex
cd ../