{-# OPTIONS --safe #-}

module Govenv.Kernel.Readme where

open import Agda.Builtin.String using (String)
open import Govenv.Kernel.Roadmap using (Roadmap)

record Readme : Set where
  field
    docsUrl : String
    agdaVersion : String
    releaseUrl : String
    licenseName : String
    roadmapNote : String
    roadmap : Roadmap
    gettingStartedTitle : String
    bootstrapSummary : String
    bootstrapPin : String
    materializeTitle : String
    materializeCommand : String
    materializeSummary : String
    administrationTitle : String
    administrationUrl : String
    administrationSummary : String
    testTitle : String
    testCommand : String
    testSummary : String
    docsTitle : String
    docsCommand : String
    docsSummary : String