Skip to content

A OCaml generator for well-typed terms (that use their arguments).

Notifications You must be signed in to change notification settings

laelath/well-typed-term-generator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

A well-typed program generator framework written in OCaml.

This repo is under heavy development to create a cohesive interface for writing generators for new languages.

Dependencies:

  • OCaml
  • Dune

Opam Dependencies:

  • unionFind

to build:

dune build

to run:

dune exec -- gen_haskell -n 1000 -size 15

About

A OCaml generator for well-typed terms (that use their arguments).

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages