Programming Language Theory FlashcardWhat is the difference between = and =? in rocq?Properties 2Hide BooksChapter 1. Basics - functional programming in rocq DeckgeneralQuestionWhat is the difference between = and =? in rocq?Answer Previous in FlashcardsWhat is the difference between a formal generic judgment and a generic judgment?Next in Flashcards What is the difference between formal and actual parameters?