- Indexed Information
- Rank702
- Users51
- Last Indexed12 hours ago
Martin-Löf intutitionistic 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 (7)
| Topic | First Indexed |
|---|---|
| Martin-Löf intutitionistic 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. | 3 weeks, 3 days ago |
| 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 month, 1 week 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. | 9 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, 4 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, 7 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, 7 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, 7 months ago |