From 661320a0bb5fa693cba3c219d6feb87cdccaa4f8 Mon Sep 17 00:00:00 2001 From: Philip Potter Date: Fri, 14 Feb 2020 16:37:11 +0000 Subject: [PATCH] fix term docs to match names --- term/term.go | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/term/term.go b/term/term.go index a6f87fa..462bf5c 100644 --- a/term/term.go +++ b/term/term.go @@ -126,28 +126,28 @@ type LocalVar struct { func (LocalVar) isTerm() {} type ( - // A LambdaTerm is a lambda abstraction. + // A Lambda is a lambda abstraction. Lambda struct { Label string Type Term Body Term } - // A PiTerm is a function type. + // A Pi is a function type. Pi struct { Label string Type Term Body Term } - // An AppTerm is a Term formed by applying a function to an + // An App is a Term formed by applying a function to an // argument. App struct { Fn Term Arg Term } - // An OpTerm is two Terms combined by an operator. The OpCode + // An Op is two Terms combined by an operator. The OpCode // determines the type of operator. Op struct { OpCode OpCode