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:
#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) |
I hereby claim:
To claim this, I am signing this object:
const f = require('./function.js'); | |
exports.gcf_main = function gcf_main(req, res) { | |
res.send(f.hello(req.body)); | |
} |
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" $ |
module MyFunction | |
hello : String -> String | |
hello req = "Hello: " ++ req |
To setup Idris with Visual Studio Code:
vscode-idris
: https://github.com/zjhmale/vscode-idriswhich idris
), and turn on Show Output When Typecheckingkeybindings.json
, and add the following:{
"key": "ctrl+alt+c",
#!/bin/bash | |
token=$GITHUB_SCRIPT_TOKEN | |
private=true | |
has_issues=true | |
has_projects=true | |
has_wiki=true | |
otherData="" | |
shouldPush=1 |