Method List
-
#== LyambdaGem::Variable
-
abs LyambdaGem
-
app LyambdaGem
-
#body LyambdaGem::Abstraction
-
#free_variables LyambdaGem::Term
-
#free_variables LyambdaGem::Variable
-
#free_variables LyambdaGem::Abstraction
-
#free_variables LyambdaGem::Application
-
#fresh_variable LyambdaGem::Abstraction
-
#initialize LyambdaGem::Parser
-
#initialize LyambdaGem::Variable
-
#initialize LyambdaGem::Abstraction
-
#initialize LyambdaGem::Application
-
#inspect LyambdaGem::Variable
-
#left LyambdaGem::Application
-
#name LyambdaGem::Variable
-
#parameter LyambdaGem::Abstraction
-
#parse LyambdaGem::Parser
-
#reduce LyambdaGem::Term
-
#reduce LyambdaGem::Variable
-
#reduce LyambdaGem::Abstraction
-
#reduce LyambdaGem::Application
-
#reduceable? LyambdaGem::Term
-
#reduceable? LyambdaGem::Variable
-
#reduceable? LyambdaGem::Abstraction
-
#reduceable? LyambdaGem::Application
-
#right LyambdaGem::Application
-
#substitute LyambdaGem::Term
-
#substitute LyambdaGem::Variable
-
#substitute LyambdaGem::Abstraction
-
#substitute LyambdaGem::Application
-
to_normal LyambdaGem::Reducer
-
#to_s LyambdaGem::Variable
-
#to_s LyambdaGem::Abstraction
-
#to_s LyambdaGem::Application
-
var LyambdaGem