Cedille v1.0 – theorem-prover and dependently typed programming languagecedille.github.io3 points·agumonkey··0 commentsOpen articleSaveView on HN