Skip to content

Add LICENSE, following the Iris LICENSE file.

Robbert Krebbers requested to merge robbert/license into master

This closes issue #1 (closed).

/cc @jung @amintimany Can you state that you agree to releasing the contents of this repository under the BSD license.

Merge request reports