# oyi

An approachable Functional programming language with Refinement Types and Linear Types.