ocaml-q4q1 README

readme

Features

question1 options

let rec subst_fun subst m = match subst with [] -> TyVar(m) | ((a, b)::tl) -> if a = m then b else subst_fun tl m

let rec monoTy_lift_subst subst monoTy = match monoTy with TyVar(m) -> subst_fun subst m | TyConst(s, args) -> let rec helper l = match l with [] -> [] | (hd::tl) -> monoTy_lift_subst subst hd :: helper tl in TyConst(s, helper args)

let rec occurs x ty = match ty with TyVar(v) -> if x = v then true else false | TyConst(s, args) -> let rec helper l = match l with [] -> false | (hd :: tl) -> if occurs x hd then true else helper tl in helper args

Requirements

make sure its done

Extension Settings

Known Issues

does not help with copying

Release Notes

i do not condone cheating

For more information

• Visual Studio Code's Markdown Support
• Markdown Syntax Reference

Enjoy!