proposal_database/config.rkt.example

#lang typed/racket/base

(provide dbloc
         PIname)

(: dbloc String)
(define dbloc "/path/to/database")

(: PIname String)
(define PIname "Lastname")