ACADEMIC ENQUIRY - 4 Mock-Up Papers

Four prototype abstracts across Dialectics, Semiotics, Simulacrics, Narratics.

Dialectics - Preprint 2026
Trade-offs in Agda (Programming Language)
You • Me • Others
This draft analyses trade-offs around Agda (Programming Language), synthesizing argument maps and stakeholder values to propose actionable contrasts and leverage points.
Semiotics - Preprint 2026
Signs and Symbols of Agda (Programming Language)
You • Me • Others
This draft explores symbolic repertoires surrounding Agda (Programming Language), tracing metaphors, frames, and signs shaping public understanding.
Simulacrics - Preprint 2026
Embodied Scenarios for Agda (Programming Language)
You • Me • Others
This draft outlines embodied scenario prototypes for Agda (Programming Language), articulating role-play affordances and evaluation metrics.
Narratics - Preprint 2026
Narrative Frames around Agda (Programming Language)
You • Me • Others
This draft develops narrative prompts and arcs for Agda (Programming Language), aligning audience goals with transparent, auditable AI assistance.