Idris 2: Quantitative Type Theory in Practicehttps://news.ycombinator.com/item?id=30050465#hackernews #tech
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.