obs.ipkg - yellowsquid/idris-obs.git - [no description]

summary refs log tree commit diff

path: root/obs.ipkg

blob: f556fefc9fc2d19b739e3bb13e39c386996cae2b (plain)

package obs
authors = "Greg Brown"
sourcedir = "src"

modules
  = Obs.Sort