Published November 1, 2024 | Version v1.2.0
Software Open

Artifact for Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

Creators

  • 1. National University of Singapore
  • 2. ROR icon University of Michigan–Ann Arbor

Description

This artifact comprises the Agda formalization, Grove Workbench, a git repository illustrating issues with traditional VCS, and the Appendix accompanying the main submission.

Files

final-grove-artifact.zip

Files (54.6 MB)

Name Size Download all
md5:c25d1a901ad0f03df93ff03abb8449c2
54.6 MB Preview Download

Additional details

Software

Repository URL
https://github.com/hazelgrove/GRV
Programming language
Agda, OCaml
Development Status
Active