jnpnj

Karma: 117
Created: 3 years ago

About

lisp, forth, smalltalk, fp, lp fan with a dose of math envy

https://github.com/jnpn

https://registry.jsonresume.org/jnpn?theme=elegant

Recent Submissions

1. ▲ Prolog for Veriﬁcation, Analysis and Transformation Tools Michael Leuschel [pdf] (arxiv.org) 1 point · 1 day ago · 0 comments

All submissions on HN · View profile on HN