Module lambda_calculus::data::num
[−]
[src]
Numeral encodings
Modules
binary | |
church | |
convert |
Numeral encoding conversions |
parigot | |
scott | |
signed | |
stumpfu |