Oh, Dr Peschanski. If you're interested he was also into random trees https://gi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		agumonkey on Nov 7, 2018 \| parent \| context \| favorite \| on: A Lisp Way to Type Theory and Formal Proofs (2017)... Oh, Dr Peschanski. If you're interested he was also into random trees https://github.com/fredokun/arbogen

fredokun on Nov 7, 2018 [–]

If you're interested... A tutorial about this topic... It's clojurescript in the browser but I think the algorithmic explanations do not require any lisp knowledge...

(Edit missing link)

https://github.com/fredokun/talk-clojureD-2018/blob/master/R...

agumonkey on Nov 7, 2018 | [–]

Hello, didn't see that talk, thanks

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact