η for pairs #28

Merged

rhi merged 5 commits from Ση into 🐉

2023-09-19 17:22:34 -04:00

Author	SHA1	Message	Date
rhiannon morris	dc076b636d	fix warnings	2023-09-19 18:13:45 +02:00
rhiannon morris	80b1b3581a	use ST from base	2023-09-19 13:05:01 +02:00
rhiannon morris	ebde478adc	add η for pairs in zero contexts	2023-09-19 00:41:17 +02:00
rhiannon morris	bb8d2464af	add fst and snd	2023-09-18 21:53:38 +02:00
rhiannon morris	e6c06a5c81	pass the subject quantity through equality etc in preparation for non-linear η laws	2023-09-18 21:53:38 +02:00