From 947347125498a31c9ec1da5bc884ef4f3a0c2254 Mon Sep 17 00:00:00 2001 From: Greg H <40124066+SpiralOSS@users.noreply.github.com> Date: Tue, 9 Jul 2024 17:41:36 -0400 Subject: [PATCH] Update docs/fsharp-cheatsheet.md Co-authored-by: Ruben Bartelink --- docs/fsharp-cheatsheet.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/fsharp-cheatsheet.md b/docs/fsharp-cheatsheet.md index c3a6bcd..0c03a79 100644 --- a/docs/fsharp-cheatsheet.md +++ b/docs/fsharp-cheatsheet.md @@ -1019,7 +1019,7 @@ See [Namespaces (MS Learn)](https://learn.microsoft.com/en-us/dotnet/fsharp/lang ### time -Available in the FSI, is `#time` for a quick view into real time, CPU time, and garbage collection information. +The `dotnet fsi` directive, `#time` switches on basic metrics covering real time, CPU time, and garbage collection information. #time System.Threading.Thread.Sleep (System.TimeSpan.FromSeconds 1)