4 ms·
Just curious, what language is this?
by xigoi 2y ago
Just curious, what language is this?
- dietr1ch 2y agoI made up the syntax to try to keep it easy to read for people using python/rust/c. I just realized my lambda syntax on the Nat predicate is redundant because I didn't clean up and that using snake_case for function names would be better in a language that lets you operate on functions like they are values.