MangoIV

Stream: new members

[MangoIV]

Hi,
I’m Mango and I’m a Haskeller and Nixer (many such cases).
I’m interested in Lean4 mainly as a programming language with strong static guarantees, coming from Haskell, I’m excited for less painful dependently typed programs, a backtracking instance resolution algorithm and extensible syntax.
I’ll probably be asking a lot of (dumb) questions so please bear with me.

[MangoIV]

My plan is to eventually write a “useful”, “real world” program in lean4 such as a Webserver.