coercion regularity #43

Merged

rhi merged 4 commits from reg into 🐉

2024-04-18 16:18:20 -04:00

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