donald-pinckney

#!/bin/bash

token=$GITHUB_SCRIPT_TOKEN

private=true
has_issues=true
has_projects=true
has_wiki=true
otherData=""
shouldPush=1

donald-pinckney

To setup Idris with Visual Studio Code:

1. Install Idris, clearly: https://www.idris-lang.org
2. Follow the directions to install vscode-idris: https://github.com/zjhmale/vscode-idris
3. In Visual Studio Code settings, set the executable path of Idris (obtained by which idris), and turn on Show Output When Typechecking
4. In Visual Studio Code Keyboard Shortcuts menu, open keybindings.json, and add the following:

{
    "key": "ctrl+alt+c",

donald-pinckney

module MyFunction

hello : String -> String
hello req = "Hello: " ++ req

donald-pinckney

module MyFunction

export -- This is new
hello : String -> String
hello req = "Hello: " ++ req

-- This is all new
lib : FFI_Export FFI_JS "" []
lib =
    Fun hello "hello" $

donald-pinckney

const f = require('./function.js');

exports.gcf_main = function gcf_main(req, res) {
    res.send(f.hello(req.body));
}

donald-pinckney

Keybase proof

I hereby claim:

• I am donald-pinckney on github.
• I am donaldpinckney (https://keybase.io/donaldpinckney) on keybase.
• I have a public key ASBK2HEXJmXWh60lUd310Yhn_k9ATG3sdgRKvZAaJ5qzjAo

To claim this, I am signing this object:

donald-pinckney

#lang rosette
(require rosette/lib/angelic)

(require (except-in rosette < <= -)
         (prefix-in old (only-in rosette < <= -)))

(define-struct date [Y M D] #:transparent)

(define (is-leap-year Y) (and (= (remainder Y 4) 0) (=> (= (remainder Y 100) 0) (= (remainder Y 400) 0))))
(define (num-days Y M)