HigherOrderCO / Kind

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

Change Num (U32) to Word32; parse Chars as u32 values #589

Closed edusporto closed 1 month ago