Can Litex and Lean be transpiled? | Hacker News

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

		lorenzohess 3 months ago \| parent \| context \| favorite \| on: Litex: The First Formal Language Learnable in 1-2 ... Can Litex and Lean be transpiled?

litexlang 3 months ago [–]

Working on that bro :)

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