Andreas Källberg

Results 129 comments of Andreas Källberg

Might be difficult, since `\` can occur in other places as well and those probably shouldn't be rendered as λ, but I'm not super familiar with how fonts like these...

Mainly in strings. I don't know if that would count as "on its own", but this is an anonymous function ``` \n -> n + 1 ``` and this is...

Yes, most of the time people won't have a whitespace between `\` and the variable name, so it would cripple the feature significantly. But it is the only way I...

> I would like to add, that /n for a varible name that comes after a lambda, would be confusing. > > \n kinda indicates a newline, if within a...

(and in strings) Sweet!

@krangelov This was more of an experiment than something intended to be merged (hence being a draft and "Experiment" in the title), but thank you for looking at it! I...

@krangelov To answer your concrete questions: `VApp` takes a list so it's easier to find the head of an application and `VCn` contains a list of definitions because that was...

It doesn't look like it's a simple case of just connecting the components. These are the functions responsible for producing the canonical gf grammar for `canonical_gf` https://github.com/GrammaticalFramework/gf-core/blob/85038d01750c56241d45686d14c513f72421526c/src/compiler/GF/Compile/GrammarToCanonical.hs#L36-L37 https://github.com/GrammaticalFramework/gf-core/blob/85038d01750c56241d45686d14c513f72421526c/src/compiler/GF/Compile/GrammarToCanonical.hs#L74-L75 and they...

Since the code has now been merged into GHC and this package now depends on [it](https://hackage.haskell.org/package/ghc-heap), can the check be removed now or is there any other problems for profiled...