From f9880a31e4d411f91cc62c192f4773d2f6cec1c3 Mon Sep 17 00:00:00 2001 From: zenntenn Date: Thu, 1 Oct 2020 13:26:36 -0400 Subject: [PATCH] Update CONTRIBUTING.md --- CONTRIBUTING.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index e72d2c245..6e9dd802a 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -27,6 +27,7 @@ beyond work on the language core, are (in no particular order): to lex! * An alternative, high performance, back end. OCaml seems worth a try. * JS and Node back ends would be nice. +* A Jupyter kernel for Idris, to allow for more industry standard literate programming. The default Prelude describes the rationale for what gets included and what doesn't. Mostly what is there is copied from Idris 1, but it's not impossible