EF CodeFirst - Generating a Database in F#

gistfile1.fs

//  This will generate a database, but EF will not materialize the objects
//  because our types do not have default parameterless constructors

namespace DataModel
  open System
  open System.ComponentModel.DataAnnotations
  open System.Data.Entity

  type User = { mutable ID : int; mutable Name: string; mutable DB: DateTime; mutable Tasks: Task[];
                mutable Projects: Project[] }
  and Task = { mutable ID : int; mutable Short: string; mutable Due: DateTime; mutable Complete: bool }
  and Project = { mutable ID : int; mutable Owner: User; mutable Tasks: Task[]; mutable Complete: bool }
  
  type ProjectDB() = 
    inherit DbContext()
    let mutable users : DbSet<User> = null
    member public x.Users with get() = users //and set c = contacts <- c

  module Projects =
    let CreateDatabase() = 
      use db = new ProjectDB()
      if db.Database.Exists() = true then 
        db.Database.Delete() |> ignore
      let created = db.Database.Create()
      true