Index - Q
Q | Language.PiSigma.Syntax |
quote | Language.PiSigma.Normalise |
quoteDouble | Language.PiSigma.Pretty |
quotesDouble | Language.PiSigma.Pretty |
quoteSingle | Language.PiSigma.Pretty |
quotesSingle | Language.PiSigma.Pretty |
pisigma-0.2.1: A dependently typed core language