Herbert Lange

icon indicating an email [email protected]

icon company Språkbanken Text icon location Gothenburg, Sweden icon location Computational Linguist, Research Engineer at Språkbanken Text, University of Gothenburg

Results 4 issues of Herbert Lange

Misleading error when using lincat as parameter

5 comment

When loading the following Grammar ``` abstract TestAbs = { cat Temp ; Pol ; Cl ; S ; fun UseCl : Temp -> Pol -> Cl -> S ;...

bug

Bug in type checker with dependent types

1 comment

Hi, if I have an abstract syntax like ``` abstract Equal = { cat Num; IsEqual Num Num ; fun z : Num ; s : Num -> Num ;...

bug

added english version of "Dieses System ist sicher"

Translated the sticker using a very similar font

Sparv wizard crashes with questionary==1.10.0

When trying to run `sparv wizard` it crashes after the first few questions. An upgrade of questionary-2.x.x seems to fix the problem ``` ? Machine name of corpus (a-z, 0-9,...