GitHub - bakinovsky-m/agda-prikoly

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
.gitignore		.gitignore
DrinkerParadox.agda		DrinkerParadox.agda
FibEq.agda		FibEq.agda
HornersMethod.agda		HornersMethod.agda
ImplementingTypeclasses.agda		ImplementingTypeclasses.agda
Iso-properties.agda		Iso-properties.agda
LambdaCalculusTypeChecker1.agda		LambdaCalculusTypeChecker1.agda
MagicIsCommutative.agda		MagicIsCommutative.agda
NatEqBool.agda		NatEqBool.agda
SL2N-unique.agda		SL2N-unique.agda
SumEq.agda		SumEq.agda
TrivialLang.agda		TrivialLang.agda
TypeSafeSprintf.agda		TypeSafeSprintf.agda
VerifiedMax.agda		VerifiedMax.agda
arith-sum-formula.agda		arith-sum-formula.agda
category.agda		category.agda
maybe_functor.agda		maybe_functor.agda
nat-is-monoid.agda		nat-is-monoid.agda
nat_mul_mon.agda		nat_mul_mon.agda
nat_total_order.agda		nat_total_order.agda
tree_functor.agda		tree_functor.agda
vec.agda		vec.agda