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

summary refs log tree commit diff

path: root/obs.ipkg

blob: 3320896e232cfec60e9c68b50d1b862993961148 (plain)

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

depends = contrib

modules
  = Obs.Sort
  , Obs.Syntax