Files

src

Darin Morrison

Move modules to src; add Everything

Jan 26, 2016

03fe5d7 · Jan 26, 2016

This branch is up to date with jonsterling/agda-bar-induction:master.

Name		Name	Last commit message	Last commit date
parent directory ..
.agda-lib		.agda-lib	Move modules to src; add Everything	Jan 26, 2016
BarTheorem.agda		BarTheorem.agda	Move modules to src; add Everything	Jan 26, 2016
Everything.agda		Everything.agda	Move modules to src; add Everything	Jan 26, 2016
FanTheorem.agda		FanTheorem.agda	Move modules to src; add Everything	Jan 26, 2016
Spread.agda		Spread.agda	Move modules to src; add Everything	Jan 26, 2016