klimisa/idris101 repository overview

Currently, this repository is awaiting its first push. The detailed overview will become available post the initial content push by the repository owner.