git.iko.soy/Idris-dev
on ca34dec help sign in
history ofjsrts/Runtime-node.js
all commits
00efb33Fix undeclared variable in node runtimeChristophe Calvès 4f002e5JSRTS: move templates into JSRTSbe5invis 3e86df1added many missing primitives that were in the old backendRui Barreiro dc44b02new javascript backendRui Barreiro 6f9f55dUse synchronous writes in node runtime.Niklas Larsson 2869be1Make a utf-8 string in getLine for NodeNiklas Larsson b26d401javascript: add LReadStr primitive to node backendraichoo cc31da5javascript: fix node warning for printingraichoo 4830e91javascript: adjust functionnamesraichoo c6cf819javascript: indent systemInforaichoo 5d5baa3javascript: experimental backend compiles hello worldraichoo cc9b104Add a prim__systemInfo primitive.niklas 549627cjavascript: switch to jsbnraichoo