Add wrapper for idris