Module aya.base

Package org.aya.distill

package org.aya.distill
  • Class
    Description
    BaseDistiller<Term extends AyaDocile>
     
    BaseDistiller.Fmt<T extends AyaDocile>
     
    BaseDistiller.Outer
    Expression: where am I? Top-level expression may not need parentheses, stone free! An argument of an application! Stay in parentheses! An operand of a binary application! Applications within are safe, but other binary applications are in danger! Codomain of a telescope
    Codifier
    Do not need to use Doc, because we do not care about output format.
    ConcreteDistiller
     
    CoreDistiller
    It's called distiller, and it serves as the pretty printer.