- Indexed Information
- Rank753
- Users49
- Last Indexed2 hours ago
Martin-Löf intuitionistic typography theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements.
Topic History (6)
| Topic | First Indexed |
|---|---|
| Martin-Löf intuitionistic cyanotype theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements. | 1 week, 3 days ago |
| Martin-Löf intuitionistic typography theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements. | 8 months ago |
| Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements. | 1 year, 3 months ago |
| Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <ncf> `with` isn't real but it *can* hurt you | 1 year, 6 months ago |
| Martin-Löf intuitionistic type theory | http://archive-pml.github.io | http://github.com/dpndnt/library | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <ncf> `with` isn't real but it *can* hurt you | 1 year, 6 months ago |
| Martin-Löf intuitionistic type theory | http://archive-pml.github.io | http://github.com/dpndnt/library | <ncf> `with` isn't real but it *can* hurt you | 1 year, 6 months ago |