diff --git a/README b/README index 6924a402f22bb6902529f58b1ae30fa7bc609218..1e90d0417312204aed0070106f5c58e3e7fe1758 100644 --- a/README +++ b/README @@ -1,5 +1,5 @@ -A mostly complete _Algebra of Programming_ Summary -================================================== +A (exhaustive enough) _Algebra of Programming_ Summary +====================================================== **Note:** This is an unofficial summary, without any promises wrt. correctness nor completeness. Contributions and improvements are