@ATaco you what D:

related: i really need to add some credit to my debit card sometime >_>

@Dennis can you add Idris? cabal install idris. Hello, World! should be the same as Haskell's

@Pavel I'll give it a shot.

Thanks!

@Pavel Unfortunately, compilation failed after 40 minutes with a memory error.

And, naturally, prebuilt binaries available only for Windows and OSX. Oh well.

@Dennis There's a Copr package that might work.

Only five months old, which means it's not recent enough to have the 1.0 release. Oh well.

@Pavel OK, I'll take a look at that tomorrow. Packages says the version is 1.0-1.

I think that's the version of the package itself, not the version of the language in that package.

Oh nevermind. I confused the release dates of 1.1.0 and 1.0.0.

@Dennis Can you pull Bitwise? Thanks

@Dennis Can you pull ARBLE and equa please?

@ATaco Hm, I just realized I don't have an efficient way of updating equa.lua, as all my scripts work only for languages... Since you removed your PPCG answer and ARBLE is more useful for code golf anyway, I'm removing the library for now.

@MDXF @ATaco Syncing.

@Mego I've only scrolled a little bit on the Coconut main page and it already had me laughing in amazement :D This looks so cool

@Dennis you could build the equa updater into the Lua update script maybe?

There's no Lua update script. Lua is a system package.

@Pavel I can't figure out how to make Idris read code from a file. Do you know how?

Mandatory extensions. Nevermind.

@Pavel tio.run/##y0wpyiz@/…

@Mego tio.run/##S85Pzs8rLfn/X8kjNScnX0chPL8oJ0VRSaHGTqGgKDMPKAMA

That looks cool indeed. :)

@Dennis I've written to a person from Mathworks Spain with whom I'd had some previous contact. He said the proposal to have Matlab on TIO overlaps a little with Matlab Online (however that doesn't seem to be publically accessible), but is interesting, and that he will propose it internally. I'll keep you informed if there are any advances

@Mego zomg what

@LuisMendo Thanks. :)

@Dennis :D Can't wait to play with it

@Mego looks more like F# tbh

(which makes it even better, imo)

@Dennis So, it just occurred to me that I'm paying for a minecraft server that I don't actually use. So I canceled that, and added TIO on Patreon. :)

@DJMcMayhem One of these days we really should get the modded Minecraft server running, but the Patreon is an excellent place for the money to go. Would add if I had the cash

Hi @Dennis: Since Chapel was added to TIO, it's been using the master branch which was helpful when we were working through and fixing various install issues. We've done our first release today since TIO started and I'm wondering whether we could have TIO grab the official release rather than tracking master? (unless it's the preference of TIO to follow development implementations rather than releases).

The release branch is here github.com/chapel-lang/chapel/tree/release/1.16 and I could file a PR against your repo if you're good with the change and would prefer me to contribute it.