{"name":"Omega","portdir":"lang/Omega","version":"1.4.2","license":"unknown","platforms":"darwin freebsd","epoch":0,"replaced_by":null,"homepage":"http://web.cecs.pdx.edu/~sheard/Omega/","description":"An interpreted, functional language with an expressive type system","long_description":"Omega is a strict dialect of Haskell providing type-level computations and by this virtue integrates a theorem prover.","active":true,"categories":["lang"],"maintainers":[{"name":"ggreif","github":"","ports_count":2}],"variants":[],"dependencies":[{"type":"build","ports":["ghc","clang-9.0"]},{"type":"extract","ports":["unzip"]},{"type":"lib","ports":["libedit"]}],"depends_on":[]}