The Zen of Idris

Jump to bottom Edit New page

Jan de Muijnck-Hughes edited this page Dec 3, 2013 · 9 revisions

Guidelines for writing programs in Idris.

Written not assuming Laziness

Naming Conventions

Names should be in CamelCase.
Types should start with a capital letter
Functions should start with a lower case letter
Data Constructors should...
Type Constructors should...

Layout Guidelines

Documentation Guidelines