Student. Native λ-calculus speaker. Writes F#.
Education
Undergraduate
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least four years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Skills/Languages
Uses: F# / .NET Core on Debian GNU/Linux Knows: Type System, Compiler, Optimization, Mathematical Logic
Currently learning
OCaml, Editor Tooling, Language Server Protocol
We're a place where coders share, stay up-to-date and grow their careers.