Gregory's Server@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
|
2 comments
 @feonixrift @jonny it's not esoteric, it's just type theoretic |
|
Top-level
@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 2 comments
@feonixrift @jonny it's not esoteric, it's just type theoretic |
@dysfun @jonny :blobsweats: I don't think I have time to esolang rabbithole today.