edwinb/Idris-dev — pull request #60 by raichoo (2012-10-23 18:02:11+00:00)
Title: uppercase modulenames

- Converted Lib to uppercase
- Adjusted Parser and Compiler for uppercase modulenames (e.g. Main)
- Fixed tests