tanmitch's comments | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | tanmitch's comments

tanmitch on Aug 5, 2017 | parent | context [–] | on: A formalization of category theory in Coq

In Coq to Rust Program Extraction https://news.ycombinator.com/item?id=12183095 , I saw some useful comments about its foundations.

(And for a bit more about Coq to Rust, Program extraction from Coq https://github.com/rust-lang/rfcs/issues/667 )

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