Verified Software with Albatross | Hacker News

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

		Verified Software with Albatross (gitbook.com)
		2 points by helmut_brandl on May 30, 2017 \| hide \| past \| favorite \| 2 comments

analognoise on May 30, 2017 [–]

This looks interesting, but I don't know enough about the field to say whether this is an important/well supported/used language, or not?

helmut_brandl on May 30, 2017 | [–]

The language is currently being developed. It is fully supported.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact