Add some details to presenation

1 files changed, 31 insertions, 0 deletions

diff --git a/pbt/ts/src/bank.ts b/pbt/ts/src/bank.ts
index bf14e43..6a220dc 100644
--- a/pbt/ts/src/bank.ts
+++ b/pbt/ts/src/bank.ts
@@ -1,3 +1,24 @@
+///  Demystify Property-Based Testing
+///
+///           Arnaud Bailly
+///
+///  @abailly.bsky.social -  @abailly@piaille.fr -  @dr_c0d3 (X)
+///
+///  https://www.linkedin.com/in/arnaudbailly/
+///
+///      https://abailly.github.io
+///
+/// An experiment and an experience
+///
+/// https://app.radicle.xyz/nodes/seed.hydra.bzh/rad:z28SSH7hyCTu387guFhtPXYxcwtUs/tree/pbt/README.md
+///
+///  1. Introduction
+///
+///  2. Real world use cases
+///
+///  3. Developing a mini-quickcheck from a "concrete" use case
+///
+
 import {Option, fromNullable, matchW, toNullable} from 'fp-ts/lib/Option';
 
 // keep it simple
@@ -143,6 +164,16 @@ export const bankImplementationMatchesModel =
     return true;
   };
 
+//
+//
+//
+//
+//
+//
+//
+
+/// A "simulation" of Bank interface for integration testing purpose.
+/// This
 export class SimpleBank implements Bank {
   private accounts: Map<Account, number>;