@Razetime In this case inference seems to be taking forever

This version works. I'll have to work on that inference system one day

There are still some issues with types, but I think your main problem is that the program will enter an infinite loop as soon as it encounters a function with only one argument specified (I'm talking about functions and arguments of the challenge, i.e. uppercase and lowercase letters). You need to implement the smaller snippet you were asking me about in a way that it can return only one value in case the first row or first column is all spaces

@Razetime That challenge is very cool btw! I wonder if anyone actually implemented a language with this syntax

@Leo I WONDER

HA

Zgarb did it github.com/iatorm/jellyfish

I found out about the challenge through it

now to wonder how to make the bigger program infer

I think this maybe inferrin forever: [Try it online!](https://tio.run/##yygtzv7/317D6lHbBCA6tDPBSl3TSl3DS10n91FTQ@q5lfkQmZJHjRvgnFwQT1MDwgExXSDM////Rys5Ojk7KukoVShUFAMpBRe3bKVYAA "Husk – Try It Online")

@Razetime Uh... either I'm missing something or there is a big bug in the inference system

I've narrowed it down to this: Try it online!

A recursive definition on line 0 infers as [TChar]->TNum instead of [TChar]->[TChar]

Very weird, when there isn't any function in the program that could return a TNum

yeah that is very strange

Meanwhile, it looks like pythonanywhere.com has a gch installed, so it could be possible to put up a husk tryitonline similar to the one for vyxal... Unfortunately my attempts until now have encountered only errors due to it being an old version of ghc :(

there's a possible hacky method of running the whole thing via tio and getting output via xmlhttprequest

tio's at ghc 8.2.2

That sounds... a bit too hacky

Plus I think pythonanywhere limits the usage of internet for free account, so it wouldn't work very well

that's bad

if the repl.it api worked it'd be really convenient to host husk

maybe just do something similar to dlosc's pip thing