- Indexed Information
- Rank729
- Users49
- Last Indexed5 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 (5)
| Topic | First Indexed |
|---|---|
| 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. | 7 months, 1 week 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, 2 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, 5 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 |