KnowledgeHub
Report question
Question:
Fundeps and GADTs: When is type checking decidable?
Reason
Select a reason...
Spam
Rude or offensive
Not an answer
Duplicate
Off-topic
Other
Additional details (optional)
Submit Report