Why is Idris 2 so much faster than Idris 1?https://news.ycombinator.com/item?id=23304081#hackernews #tech
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.