• Home
• org.aya-prover
• base
• 0.35.0
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

r.base.0.35.0.source-code.module-info Maven / Gradle / Ivy

module aya.base {
  requires transitive aya.syntax;

  requires static org.jetbrains.annotations;

  // requires manifold.delegation.rt;

  exports org.aya.normalize;
  exports org.aya.prelude;
  exports org.aya.primitive;
  exports org.aya.resolve.context;
  exports org.aya.resolve.module;
  exports org.aya.resolve.salt;
  exports org.aya.resolve.visitor;
  exports org.aya.resolve;
  exports org.aya.tyck.ctx;
  exports org.aya.tyck.error;
  exports org.aya.tyck.tycker;
  exports org.aya.tyck;
  exports org.aya.unify;
  exports org.aya.resolve.error;
}