remove Tighten stuff #47

Merged

rhi merged 6 commits from notight into 🐉 2024-07-18 17:59:08 +02:00

Conversation 0 Commits 6 Files changed 20 +150 -536

6 commits

Author	SHA1	Message	Date
rhiannon morris	3ab8669404	some refactoring in tests	2024-06-04 21:49:08 +02:00
rhiannon morris	2bfe3250cf	remove Tighten stuff	2024-06-04 21:49:08 +02:00
rhiannon morris	f00c802336	functions returning subsings are also subsings	2024-06-02 17:35:56 +02:00
rhiannon morris	68c414a941	add vec.map	2024-06-02 17:34:58 +02:00
rhiannon morris	7b3ccfc45a	comment out a partial definition in list.quox	2024-06-02 17:34:52 +02:00
rhiannon morris	519cc4779a	add xtt2 and hofmann's quotient types to bib	2024-06-02 17:34:12 +02:00