https://github.com/diffsharp/diffsharp.github.io
https://github.com/diffsharp/diffsharp.github.io
Last synced: 16 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/diffsharp/diffsharp.github.io
- Owner: DiffSharp
- Created: 2017-07-09T15:23:51.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2022-04-30T21:00:14.000Z (almost 4 years ago)
- Last Synced: 2025-08-31T01:35:23.442Z (6 months ago)
- Language: HTML
- Size: 790 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.fsx
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: [](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
*)