4 Commits

Author	SHA1	Message	Date
rhiannon morris	bf605486f0	example updates ... - misc.All doesn't need to be a ★¹ - add pair.map-fst and pair.map-snd - add bool.dup! - tweak quantities in eta.from-false - add fail.quox to all.quox - add qty.quox	2023-11-03 18:05:35 +01:00
rhiannon morris	ebde478adc	add η for pairs in zero contexts	2023-09-19 00:41:17 +02:00
rhiannon morris	3fe9b96f05	make function types with an empty domain subsingletons ... this is useful for the base cases of W types when i try those again closes #23	2023-09-17 20:10:51 +02:00
rhiannon morris	b85dcb5402	η for box ... fixes #27	2023-09-17 19:11:12 +02:00