Cory Francis Myers cfm

## Makefile
# This is a generically useful Makefile for F* that is self-contained
#
# We expect:
#  1. `fstar.exe` to be in PATH (alternatively, you can also set
#     $FSTAR_HOME to be set to your F* repo/install directory)
#
#  2. `cargo`, `rustup`, `hax` and `jq` to be installed and in PATH.
#
#  3. the extracted Cargo crate to have "hax-lib" as a dependency:
#     `hax-lib = { version = "0.1.0-pre.1", git = "https://github.com/hacspec/hax"}`

## worker.js
// Cloudflare Worker script to apply a dynamic Content-Security-Policy header
// for each fetch request by:
//
// 1. generating a per-request nonce;
//
// 2. injecting it into the "nonce" attribute on all SCRIPT and STYLE elements;
//    and
//
// 3. adding a Content-Security-Policy allowing that nonce in the "script-src"
//    and "style-src" attributes.

## .treehouse
1.3.1
	# This is a generically useful Makefile for F* that is self-contained
	#
	# We expect:
	# 1. `fstar.exe` to be in PATH (alternatively, you can also set
	# $FSTAR_HOME to be set to your F* repo/install directory)
	#
	# 2. `cargo`, `rustup`, `hax` and `jq` to be installed and in PATH.
	#
	# 3. the extracted Cargo crate to have "hax-lib" as a dependency:
	# `hax-lib = { version = "0.1.0-pre.1", git = "https://github.com/hacspec/hax"}`
	// Cloudflare Worker script to apply a dynamic Content-Security-Policy header
	// for each fetch request by:
	//
	// 1. generating a per-request nonce;
	//
	// 2. injecting it into the "nonce" attribute on all SCRIPT and STYLE elements;
	// and
	//
	// 3. adding a Content-Security-Policy allowing that nonce in the "script-src"
	// and "style-src" attributes.