• Home
• org.aya-prover
• syntax
• 0.36.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.syntax.0.36.0.source-code.module-info Maven / Gradle / Ivy

module aya.syntax {
  requires transitive aya.md;
  requires transitive aya.pretty;
  requires transitive aya.util.more;
  requires transitive aya.util;

  requires aya.jb.md;
  requires org.jetbrains.annotations;

  exports org.aya.generic;
  exports org.aya.prettier;
  exports org.aya.syntax.compile;
  exports org.aya.syntax.concrete.stmt.decl;
  exports org.aya.syntax.concrete.stmt;
  exports org.aya.syntax.concrete;
  exports org.aya.syntax.core.def;
  exports org.aya.syntax.core.pat;
  exports org.aya.syntax.core.repr;
  exports org.aya.syntax.core.term.call;
  exports org.aya.syntax.core.term.marker;
  exports org.aya.syntax.core.term.repr;
  exports org.aya.syntax.core.term.xtt;
  exports org.aya.syntax.core.term;
  exports org.aya.syntax.core;
  exports org.aya.syntax.literate;
  exports org.aya.syntax.ref;
  exports org.aya.syntax;
  exports org.aya.generic.term;
  exports org.aya.generic.stmt;
  exports org.aya.syntax.telescope;
}