Idris Programming Language

Contact owners and managers

idris-lang@googlegroups.com

Description

Discussion of the Idris programming language and related topics.

English (United States)

Anyone on the web

can see group

Group members

can view members

Anyone on the web

can view conversations

Group members

can post but posts from new members will be held for moderation

Anyone on the web

can join group