@jonny look start with booleans. cats always say no, but i'm unclear they understand what yes means.
Top-level
9 comments
@feonixrift @jonny you want coin-operated computation? we can do that! https://www.idris-lang.org/docs/idris2/current/base_docs/docs/Data.Fuel.html |
@dysfun
If I ever make a programming language bools will be true only, in your honor