This ReadMe.txt file was generated on <20191110> by <Wanda Marsolek>
-------------------
GENERAL INFORMATION
-------------------
1. Title of Dataset: A Silver implementation of a subset of MetaOCaml 

2. Author Information

  Principal Investigator Contact Information
        Name: Eric Van Wyk
           Institution: University of Minnesota
           Email: evw@umn.edu
	   ORCID: 0000-0002-5611-8687

  Associate or Co-investigator Contact Information
	Name: Lucas Kramer
           Institution: University of Minnesota
           Email: krame505@umn.edu
        

2. Information about funding sources that supported the collection of the data: NA

--------------------------
SHARING/ACCESS INFORMATION
-------------------------- 

1. Licenses/restrictions placed on the data: 
GNU Lesser General Public License v3.0

2. Links to publications that cite or use the data:
https://www-users.cs.umn.edu/~evw/pubs/kramer19Agpce/kramer19Agpce.pdf

4. Links to other publicly accessible locations of the data: 
http://melt.cs.umn.edu/silver/

4. Recommended citation for the data: 
Kramer, Lucas; Van Wyk, Eric. (2019). A Silver implementation of a subset of MetaOCaml. Retrieved from the Data Repository for the University of Minnesota, https://doi.org/10.13020/z10a-7g60.

---------------------
DATA & FILE OVERVIEW
---------------------


1. File List
   A. Filename:  meta-ocaml-lite-0.1.0.tar.gz      
      Short description: The Silver source files for a subset of MetaOCaml

   B. Filename: meta-ocaml-lite-0.1.0.zip        
      Short description: The Silver source files for a subset of MetaOCaml       

2. Relationship between files:  Same content, in different formats      

-----------------------------------------
Data Tree
-----------------------------------------
\---meta-ocaml-lite-0.1.0
    |   .gitignore
    |   build
    |   escapeError.ml
    |   escapeError2.ml
    |   fact.ml
    |   let.ml
    |   power.ml
    |   README.md
    |   typeError.ml
    |   
    \---grammars
        \---edu.umn.cs.melt.metaocaml
            +---abstractsyntax
            |       Env.sv
            |       Expr.sv
            |       Type.sv
            |       Value.sv
            |       
            +---concretesyntax
            |       ConcreteSyntax.sv
            |       
            \---driver
                    Main.sv