Lqxc

Sound type is everything. true = λx.λy.x false = λy.λx.y if = λc.λx.λy.y ~> x ~> c

Results 0 repositories owned by


                                            Lqxc