Functional Programming & Proofs


Introduction (1): tools required

  1. Install dotnet platform from Microsoft

  2. Create a new dotnet project:

dotnet new console -lang F# -o Course1
cd Course1
  1. Edit the main source code Program.fs
printfn "Hello from F#"
  1. Compile and run:
dotnet run
  1. Repeat (3), (4) and (5)

  2. Or as an alternative: use F# interpreter:

dotnet fsi
> #quit;;

2 - 8