The site supports a core number of registered users providing a platform for discussion, question and answers as well as an aide for bug finding and trouble shooting. Two new areas have recently been added to Idris Community for the exclusive use of our ITPs:
ITP forums - these forums provide discussion areas fortopics which may be of a more technically orcommercially sensitive nature.
ITP Knowledge Base Area - this area is for in-depth articlesand information that is only made available to ITPs.
However, remember this site is open to all – so please take a look. The Idris team aim to provide the support and knowldege our ITP’s need in their efforts to provide a service to the Idris end user. Feed back and comments are always welcomed.