Porting octane (richards)
Porting octane (richards)
Porting octane (finished richards)
Minor cleanup in octane
Moved richards-typed-octane.ts to done
Merge pull request #7 from UCSD-PL/octane

Ported richards-typed-octane.ts to RS