HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

First review of Kind base (Bool, Bits, Nat, String, Char, Maybe, List…) #352

Closed HyagoFellipee closed 2 years ago

HyagoFellipee commented 2 years ago

Bits.and_reduction Bits.or_reduction Bits.is_zero Char.dec_value U16.is_between Char.is_digit Char.is_hex Char.is_lower Char.is_upper Char.to_lower Char.to_nat Char.to_upper List.and (CONTRIB - LENDÁRIA) List.or (CONTRIB - LENDÁRIA) List.count List.in List.last Pair.eql Pair.show String.includes String.is_hex String.is_lower String.is_nat String.is_upper Nat.bitwise_and