@feonixrift @jonny we tend to think of it as booleans erasing what they pertain to :)
Top-level
4 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 @jonny so booleans are a form of money?