Codestin Search App

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
script		script
.DS_Store		.DS_Store
README		README
pfpl-defns-adt.sty		pfpl-defns-adt.sty
pfpl-defns-base.sty		pfpl-defns-base.sty
pfpl-defns-ch.sty		pfpl-defns-ch.sty
pfpl-defns-chaps.sty		pfpl-defns-chaps.sty
pfpl-defns-cls.sty		pfpl-defns-cls.sty
pfpl-defns-conc.sty		pfpl-defns-conc.sty
pfpl-defns-cont.sty		pfpl-defns-cont.sty
pfpl-defns-dcls.sty		pfpl-defns-dcls.sty
pfpl-defns-dist.sty		pfpl-defns-dist.sty
pfpl-defns-ds.sty		pfpl-defns-ds.sty
pfpl-defns-dyn.sty		pfpl-defns-dyn.sty
pfpl-defns-equiv.sty		pfpl-defns-equiv.sty
pfpl-defns-es.sty		pfpl-defns-es.sty
pfpl-defns-exc.sty		pfpl-defns-exc.sty
pfpl-defns-expr.sty		pfpl-defns-expr.sty
pfpl-defns-fluid.sty		pfpl-defns-fluid.sty
pfpl-defns-fun.sty		pfpl-defns-fun.sty
pfpl-defns-futspec.sty		pfpl-defns-futspec.sty
pfpl-defns-generic.sty		pfpl-defns-generic.sty
pfpl-defns-gp.sty		pfpl-defns-gp.sty
pfpl-defns-icoi.sty		pfpl-defns-icoi.sty
pfpl-defns-id.sty		pfpl-defns-id.sty
pfpl-defns-jdg.sty		pfpl-defns-jdg.sty
pfpl-defns-kinds.sty		pfpl-defns-kinds.sty
pfpl-defns-kmach.sty		pfpl-defns-kmach.sty
pfpl-defns-lang.sty		pfpl-defns-lang.sty
pfpl-defns-laziness.sty		pfpl-defns-laziness.sty
pfpl-defns-ma.sty		pfpl-defns-ma.sty
pfpl-defns-mod.sty		pfpl-defns-mod.sty
pfpl-defns-par.sty		pfpl-defns-par.sty
pfpl-defns-pat.sty		pfpl-defns-pat.sty
pfpl-defns-pc.sty		pfpl-defns-pc.sty
pfpl-defns-pcf.sty		pfpl-defns-pcf.sty
pfpl-defns-pol.sty		pfpl-defns-pol.sty
pfpl-defns-poly.sty		pfpl-defns-poly.sty
pfpl-defns-prod.sty		pfpl-defns-prod.sty
pfpl-defns-rec.sty		pfpl-defns-rec.sty
pfpl-defns-sub.sty		pfpl-defns-sub.sty
pfpl-defns-sum.sty		pfpl-defns-sum.sty
pfpl-defns-sym.sty		pfpl-defns-sym.sty
pfpl-defns-syn.sty		pfpl-defns-syn.sty
pfpl-defns-t.sty		pfpl-defns-t.sty
pfpl-defns-ts.sty		pfpl-defns-ts.sty
pfpl-defns-tyrefs.sty		pfpl-defns-tyrefs.sty
pfpl-defns-ulc.sty		pfpl-defns-ulc.sty
pfpl-defns.sty		pfpl-defns.sty

Repository files navigation

This directory contains the definition files for the syntax of languages used in PFPL.

The compilation parameters are in pfpl-defns-generic.sty

The definitions of general usage are found in
    1. Broad class of notations: pfpl-defns-generic.sty
    2. Language names: pfpl-defns-lang.sty
    3. Abstract syntax: pfpl-defns-syn.sty
    4. Judgments: pfpl-defns-jdg.sty
    5. Transition systems: pfpl-defns-ts.sty

The package pfpl-defns-base.sty loads the compilation parameters and the general-use definitions.

The package pfpl-defns.tex loads the everything.