cornelis-0.2.0.1: test/Readonly.agda

module Readonly where

open import Agda.Builtin.String

description : String
description = "This is a read-only file. Loading it should work fine."