idris --codegen javascript -o js / main.js Muf.idr idris -p contrib --codegen javascript -o js / main.js Muf.idr