My attempt at understanding HoTT by writing code.
Copyright (c) 2014, Piyush P Kurur
All rights reserved.
This software is distributed under the terms and conditions of the BSD3 license. See the accompanying file LICENSE for exact terms and condition.