cynede·9 anni fa·discusshttps://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/