This is a port of my tibetan-utils library.
As it stands, I'm waiting for Unicode support for this to work.
First, get lightyear and install that along with composition. Then:
git clone https://github.com/vmchale/tibetan_utils.git
cd tibetan_utils
idris --install tibetan_utils.ipkg
To run the test suits, additionally install specdris. Then:
idris --testpkg tibetan_tests.ipkg