Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security Policy
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

lamcalc

package module

Go to main page

Versions in this module

v1

v1.3.1

Nov 7, 2018

v1.3.0

Oct 26, 2018

v1.2.0

Jul 16, 2018

Changes in this version

+ func ConcAorReduce(term Term, out chan Term, done chan bool)

+ func ConcNorReduce(term Term, out chan Term, done chan bool)

type Abst

+ func (la Abst) Copy() Term

type Appl

+ func (lx Appl) Copy() Term

type Term

+ Copy func() Term

type Var

+ func (lv Var) Copy() Term

v1.1.0

Feb 2, 2018

Changes in this version

+ type Abst [1]Term

+ func (la Abst) AlphaEquivalent(other Term) bool

+ func (la Abst) AorReduce() (Term, error)

+ func (la Abst) BetaReduce(sub Term) Term

+ func (la Abst) EtaReduce() Term

+ func (la Abst) NorReduce() (Term, error)

+ func (la Abst) Reduce() (Term, error)

+ func (la Abst) Serialize() string

+ func (la Abst) String() string

+ func (la Abst) WHNF() Abst

+ type Appl [2]Term

+ func (lx Appl) AlphaEquivalent(other Term) bool

+ func (lx Appl) AorReduce() (Term, error)

+ func (lx Appl) EtaReduce() Term

+ func (lx Appl) NorReduce() (Term, error)

+ func (lx Appl) Reduce() (Term, error)

+ func (lx Appl) Serialize() string

+ func (lx Appl) String() string

+ func (lx Appl) WHNF() Abst

+ type Term interface

+ AlphaEquivalent func(Term) bool

+ AorReduce func() (Term, error)

+ EtaReduce func() Term

+ NorReduce func() (Term, error)

+ Reduce func() (Term, error)

+ Serialize func() string

+ String func() string

+ WHNF func() Abst

+ func Deserialize(inpt string) (Term, error)

+ func MustDeserialize(inpt string) Term

+ type Var uint

+ func (lv Var) AlphaEquivalent(other Term) bool

+ func (lv Var) AorReduce() (Term, error)

+ func (lv Var) EtaReduce() Term

+ func (lv Var) NorReduce() (Term, error)

+ func (lv Var) Reduce() (Term, error)

+ func (lv Var) Serialize() string

+ func (lv Var) String() string

+ func (lv Var) WHNF() Abst

v1.0.0

Dec 26, 2017

Changes in this version

+ var MaxReductions = 10000

+ type LamAbst []LamTerm

+ func (la LamAbst) Equivalent(other LamTerm) bool

+ func (la LamAbst) NorReduce() (LamTerm, error)

+ func (la LamAbst) Reduce() (LamTerm, error)

+ func (la LamAbst) Simplify() LamTerm

+ func (la LamAbst) String() string

+ func (la LamAbst) WHNF() LamAbst

+ type LamExpr []LamTerm

+ func (lx LamExpr) Equivalent(other LamTerm) bool

+ func (lx LamExpr) NorReduce() (LamTerm, error)

+ func (lx LamExpr) Reduce() (LamTerm, error)

+ func (lx LamExpr) Simplify() LamTerm

+ func (lx LamExpr) String() string

+ func (lx LamExpr) WHNF() LamAbst

+ type LamTerm interface

+ Equivalent func(LamTerm) bool

+ NorReduce func() (LamTerm, error)

+ Reduce func() (LamTerm, error)

+ Simplify func() LamTerm

+ String func() string

+ WHNF func() LamAbst

+ type LamVar uint

+ func (lv LamVar) Equivalent(other LamTerm) bool

+ func (lv LamVar) NorReduce() (LamTerm, error)

+ func (lv LamVar) Reduce() (LamTerm, error)

+ func (lv LamVar) Simplify() LamTerm

+ func (lv LamVar) String() string

+ func (lv LamVar) WHNF() LamAbst