Jnkr

Programming should be enjoyable A software blog by Joseph Junker Home About Contact About The author My name is Joseph Junker. I'm a software developer interested in functional and object-oriented programming, programming languages, and formal verification.