The next ten Fridays 13

The next ten Fridays 13.fs

let ``Next N Friday 13`` n =
  Seq.initInfinite (fun i -> i |> float |> System.DateTime.Now.AddDays)
  |> Seq.filter (fun date -> date.Day = 13 && date.DayOfWeek = System.DayOfWeek.Friday)
  |> Seq.map (fun date -> date.ToShortDateString())
  |> Seq.take n
  |> Seq.toList
 
// Output:
// val ( Next N Friday 13 ) : n:int -> string list
// val it : string list =
//   ["13.02.2015"; "13.03.2015"; "13.11.2015"; "13.05.2016"; "13.01.2017";
//    "13.10.2017"; "13.04.2018"; "13.07.2018"; "13.09.2019"; "13.12.2019"]