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 Camel Case.
Types should be in Upper Camel Case i.e. UpperCamelCase
Functions should be in Lower Camel Case i.e. lowerCamelCase
Data Constructors should...
Type Constructors should...

Layout Guidelines

Documentation Guidelines