robsimmons/structural-hypertext
Code for implementing, evaluating, and understanding hypertext as structured data in Standard ML.
Public repository discovered through GitHub real-time crawl.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Code for implementing, evaluating, and understanding hypertext as structured data in Standard ML.
The Twelf Programming Language (mirror of SVN repository)
The MLton repository
Generation of abstract binding trees