An open API service indexing awesome lists of open source software.

https://github.com/diffsharp/diffsharp.github.io


https://github.com/diffsharp/diffsharp.github.io

Last synced: 16 days ago
JSON representation

Awesome Lists containing this project

README

          

(**
# Running notebooks in MyBinder

The `Dockerfile` and `NuGet.config` allow us to run generated notebooks in [MyBinder](https://mybinder.org)

* `master` branch of diffsharp/diffsharp.github.io: [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/diffsharp/diffsharp.github.io/master)

# Generating docs

To iterate on docs (requires evaluation off since DLLs get locked)

dotnet fsdocs watch

To use a local build of FSharp.Formatting:

git clone https://github.com/fsprojects/FSharp.Formatting ../FSharp.Formatting
pushd ..\FSharp.Formatting
.\build
popd

Then:

..\FSharp.Formatting\src\FSharp.Formatting.CommandTool\bin\Debug\net6.0\fsdocs.exe watch
..\FSharp.Formatting\src\FSharp.Formatting.CommandTool\bin\Debug\net6.0\fsdocs.exe build --clean --eval

## Generated Notebooks

Notebooks are generated for all .md and .fsx files under docs as part of the build.

* Dockerfile - see [https://github.com/dotnet/interactive/blob/master/docs/CreateBinder.md](https://github.com/dotnet/interactive/blob/master/docs/CreateBinder.md)

* NuGet.config - likewise

See MyBinder for creating URLs

*)