Ceylon?[1] Crystal?[2] Church?[3] Coq?[4] [1]: https://ceylon-lang.org/ [2]: htt... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

mindcrime on Oct 2, 2019 | parent | context | favorite | on: Making a RISC-V Operating System Using Rust

Ceylon?[1]

Crystal?[2]

Church?[3]

Coq?[4]

[1]: https://ceylon-lang.org/

[2]: https://crystal-lang.org/

[3]: https://en.wikipedia.org/wiki/Church_(programming_language)

[4]: https://en.wikipedia.org/wiki/Coq

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact