The elba Guide¶
elba is a package manager for the Idris programming language. This book aims to be a mostly comprehensive guide on actually using it.
elba is a package manager for the Idris programming language. This book aims to be a mostly comprehensive guide on actually using it.