Functional Programming & Proofs
Introduction (1): tools required
-
Install dotnet
platform from Microsoft
-
Create a new dotnet project
:
dotnet new console -lang F# -o Course1
cd Course1
- Edit the main source code
Program.fs
printfn "Hello from F#"
- Compile and run:
dotnet run
-
Repeat (3), (4) and (5)
-
Or as an alternative: use F#
interpreter:
dotnet fsi
> #quit;;
2 - 8
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide
docteur dr laurent thiry uha mulhouse france functional programming fsharp proof theory coq coqide