Idris2Doc : Yaffle.Main

Yaffle.Main

(source)
Definitions
yaffleMain : String -> List String -> Core ()
  Visibility: export