coercion regularity #43

Merged

rhi merged 4 commits from reg into 🐉 2024-04-18 22:18:20 +02:00

Conversation 0 Commits 4 Files changed 5 +87 -48

4 commits

Author	SHA1	Message	Date
rhiannon morris	c9f66bb6af	minor refactor	2024-04-18 11:49:19 +02:00
rhiannon morris	7f72ed56fb	add test for regularity	2024-04-15 22:58:28 +02:00
rhiannon morris	67c825ab39	add coercion regularity to the equality checker (not to whnf)	2024-04-15 22:58:17 +02:00
rhiannon morris	ddc2422ffb	fix .gitignore	2024-04-15 22:27:55 +02:00