From 2c4e84aea37b49fe3cd5e3764d35cc82879efc65 Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Thu, 15 Aug 2024 15:13:17 +0200
Subject: [PATCH] Comment

---
 constraints.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/constraints.tex b/constraints.tex
index 5bece6f..56df85b 100644
--- a/constraints.tex
+++ b/constraints.tex
@@ -443,6 +443,7 @@ Our constraint generation rules have the form:
 $\mtypeEnvironment \vdash \expr{e} : \tv{a} \implies C$,
 that given a method environment $\mtypeEnvironment$ and an expression $\expr{e}$ with type $\tv{a}$ generates the constraint set $C$.
 
+%Inference-rule in the style of: https://dl.acm.org/doi/pdf/10.1145/345099.345100
 \begin{mathpar}
   \inferrule[Method-Cons]{
       \mtypeEnvironment \vdash \expr{e} : \tv{e} \implies C \\