https://www.reddit.com/r/Idris/ https://www.reddit.com/r/Gentoo/ https://www.red...

		cynede on Nov 23, 2017 \| parent \| context \| favorite \| on: Ask HN: Which are your favorite subreddits? https://www.reddit.com/r/Idris/ https://www.reddit.com/r/Gentoo/ https://www.reddit.com/r/haskell/ https://www.reddit.com/r/dependent_types/ https://www.reddit.com/r/LearnJapanese/