Capture-avoiding substitution
| Run Settings | |
|---|---|
| Language | Ocaml |
| Language Version | |
| Run Command |
| Snippet Metadata | |
|---|---|
| Owner | rightfold |
| Created | 7 years ago |
| Modified | 7 years ago |
| Visibility | Public |
module String_map = Map.Make (String)
type term =
| Global of string
| Local of string
| Function of string * term
| Application of term * term
let rec pretty : term -> string = function
| Global name ->
"@" ^ name
| Editor Settings | |
|---|---|
| Theme | |
| Key bindings | |
| Full width | |
| Lines |