Embedding dependently typed functional programming languages in a spreadsheet environment.
You can find the documentation here and Haddock here.
The easiest is installing b4er.recalc-vscode from the Visual Studio Marketplace,
if you wish to build it yourself or want to customize it please see documentation.