Skip to content

Instantly share code, notes, and snippets.

View lpw25's full-sized avatar

Leo White lpw25

306 followers · 3 following
  • Jane Street
View GitHub Profile
@lpw25
lpw25 / modal-effect-types.md
Last active October 3, 2022 14:57
Some modal effect typing rules 
effect_context, Σ ::=
  | ε
  | E, Σ

effect_diff, Δ ::=
  | 1
  | -E, Σ
  | +E, Σ
  | Δ ∘ Δ
@lpw25
lpw25 / poly-params.pdf
Last active September 30, 2022 09:26
Typing rules for polymorphic parameters
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.