Types and Functions — Idris 1.3.1 documentation
docs.idris-lang.org
@StiffUpperHip
@StiffUpperHip
Archive
9,692 entries: 92 from X, 8,929 from Pinboard, saved 1998 to 2026.
Browse by tag, site, author, folder or language
Tags
- #python 399
- #programming 344
- #tutorial 187
- #books 176
- #javascript 154
- #webdesign 147
- #mathematics 131
- #blog 128
- #css 123
- #linux 122
- #reference 107
- #lisp 101
- #history 97
- #free 96
- #llm 96
- #productivity 96
- #business 95
- #design 91
- #statistics 90
- #opensource 87
- #gtd 83
- #r 80
- #lifehacks 78
- #ajax 77
- #graphics 77
- #visualization 77
- #datamining 75
- #typography 75
- #funny 74
- #photography 73
- #ai 68
- #machine-learning 68
- #algorithms 64
- #plone 64
- #kannada 63
- #database 62
- #india 59
- #education 58
- #learning 56
- #postgresql 56
Sites
- youtube.com 267
- github.com 233
- news.ycombinator.com 224
- en.wikipedia.org 161
- reddit.com 97
- x.com 83
- nytimes.com 70
- medium.com 69
- amazon.com 68
- arxiv.org 35
- code.google.com 34
- archive.org 28
- groups.google.com 28
- wired.com 27
- theatlantic.com 24
- theguardian.com 24
- bloomberg.com 21
- newyorker.com 21
- stackoverflow.com 21
- wsj.com 21
- en.m.wikipedia.org 19
- bbc.com 18
- plone.org 18
- btbytes.com 16
- btbytes.github.io 16
- old.reddit.com 16
- washingtonpost.com 16
- artima.com 15
- google.com 15
- thehindu.com 15
- onlamp.com 14
- www-128.ibm.com 14
- aws.amazon.com 13
- cs.cmu.edu 13
- economist.com 13
- atlasobscura.com 12
- informit.com 12
- smashingmagazine.com 12
- thriftbooks.com 12
- docs.google.com 11
Authors
- @simonw 19
- @ivanfioravanti 4
- @pratikg 2
- @ShriramKMurthi 2
- @__oQuery 1
- @achumukundan00 1
- @antoniogm 1
- @bhutanisanyam1 1
- @binsquares 1
- @BrankoMilan 1
- @Chris_arnade 1
- @code_star 1
- @coreyganim 1
- @DeepknowledgeU 1
- @dhh 1
- @dillon_mulroy 1
- @DODOREACH 1
- @ElamBend 1
- @elisa_freschi 1
- @emollick 1
- @EmreSevinc 1
- @fayazara 1
- @foxyjackfox 1
- @francoisfleuret 1
- @FrankYouChill 1
- @gabrielpeyre 1
- @GunduHuDuGa 1
- @hamsanandi 1
- @HistoryinStory 1
- @itometeam 1
- @karrisaarinen 1
- @KathaaChitram 1
- @kaushikcbasu 1
- @KirkDBorne 1
- @kmadathil 1
- @mertcemri 1
- @MistralAI 1
- @mprestonmeyer 1
- @nateliason 1
- @NousResearch 1
Folders
- notes 548
- Liked on YouTube 19
- ThriftBooks wish list 12
- indian-classical 4
- LLM 4
- GenAI-LLM 3
- Devotional 2
- Lectures 2
- Books 1
- C++ 1
- Indian Philosophy 1
- Inspirational 1
- Kaas 1
- Kannada 1
- Local Coding Agents 1
- Math 1
- Ollyver 1
- Programming 1
- Project Ideas 1
- Rust 1
- Sales 1
- Self Hosting 1
- Synthwave and Chill 1
- Watch Later 1
- Watches 1
- World Music 1
- Yoga 1
Languages
Tags and folders
1 entrydocs.idris-lang.org ×