3 ms·
https://www.reddit.com/r/Idris/ https://www.reddit.com/r/Idris/ https://www.reddit.com/r/Gentoo/ https://www.reddit.com/r/Gentoo/ https://www.reddit.com/r/has
by cynede 9y ago
https://www.reddit.com/r/Idris/ https://www.reddit.com/r/Idris/
https://www.reddit.com/r/Gentoo/ https://www.reddit.com/r/Gentoo/
https://www.reddit.com/r/haskell/ https://www.reddit.com/r/haskell/
https://www.reddit.com/r/dependent_types/ https://www.reddit.com/r/dependent_types/
https://www.reddit.com/r/LearnJapanese/ https://www.reddit.com/r/LearnJapanese/