The real analysis domain

Jump to bottom

Katherine Ye edited this page Jan 31, 2019 · 22 revisions

You can find the real analysis DSL, Substance, and Style programs here.

Here are the example spec diagrams.

Here are the corresponding Penrose diagrams.

runpenrose real-analysis-domain/spec-RA.sub real-analysis-domain/perpendicular-RA.sty real-analysis-domain/real-analysis.dsl

runpenrose real-analysis-domain/spec-RA.sub real-analysis-domain/parallel-RA.sty real-analysis-domain/real-analysis.dsl

Found a problem or got a suggestion? Please open a GitHub issue and tag it with documentation!