ProjectDimlight/RuCalculus

Church Boolean

ProjectDimlight opened this issue · 1 comments

ProjectDimlight commented

Replace Boolean values into Church Booleans, and update the implementation of "择" function

ProjectDimlight commented

Implemented