untyped expressions

Stream: general

[Jakob von Raumer]

When referring to local constants it's pretty annoying that I have to give the type every time. Can't I used leave the type unelaborated until the local constant is abstracted away anyway?

[Kenny Lau]

for example?

[Sebastian Ullrich]

@Jakob von Raumer Sure, you can use any dummy type as long as you don't need type inference

[Jakob von Raumer]

@Kenny Lau When I use them in expressions that I later on treat with expr.pis for example

[Jakob von Raumer]

Well, so I just use `(Type)?

[Sebastian Ullrich]

yeah