packages feed

idris-0.9.13: test/idrisdoc008/Visible.idr

module Visible

public
visible : ()
visible = ()