Programming Language Theory Flashcard

How to define a days-of-week data type in rocq?

Books

Concepts

Deckrocq-programming-language

Question

How to define a days-of-week data type in rocq?

Answer

coq

Inductive day : Type :=
	| monday
	| tuesday
	| wednesday
	| thursday
	| friday
	| saturday
	| sunday.