Skip to content

Instantly share code, notes, and snippets.


Block or report user

Report or block seankearon

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
seankearon / Program.fs
Last active Apr 6, 2020
Using EF Core with CosmosDB in F#
View Program.fs
open System
open Microsoft.EntityFrameworkCore
type [<CLIMutable>] LegacyForm = {
id: string // The form's UID.
Client: string
CompanyId: int
Number: string
InstallationAddress: string
seankearon / ModusTollens.cs
Last active Jan 12, 2020
Curry-Howard Exercise
View ModusTollens.cs
// (A => B and not B) => not A
Not<A> ModusTollens<A, B>(
Func<A, B> A_implies_B,
Not<B> not_B)
Absurd A_to_Absurd(A a)
return not_B.Apply(A_implies_B(a));
return new Not<A>(A_to_Absurd);
seankearon / do it.bat
Created Nov 11, 2019
Set Git to use Beyond Compare
View do it.bat
git config --global diff.tool bc3
git config --global difftool.bc3.path "C:\Program Files\Beyond Compare 4\bcomp.exe"
git config --global merge.tool bc3
git config --global mergetool.b3c.path "C:\Program Files\Beyond Compare 4\bcomp.exe"
git config --global difftool.prompt false
View SB Choco
# PLUS: npm install --global --production windows-build-tools
choco install spotify -y
choco install visualstudiocode -y
choco install microsoftazurestorageexplorer -y
choco install sourcetree --version -y
choco install webstorm -y
choco install jetbrainstoolbox -y
# not updated choco install jetbrains-rider -y
choco install balsamiqmockups3 -y
seankearon / gist:de261ac578de1a735b26f23b0ce78155
Created Aug 31, 2017 — forked from robertpi/gist:2964793
F# record implementing an interface
View gist:de261ac578de1a735b26f23b0ce78155
namespace MyNamespace
type IMyInterface =
abstract GetValue: unit -> string
type MyRecord =
{ MyField1: int
MyField2: string }
interface IMyInterface with
member x.GetValue() = x.MyField2
View CreateAndQuery.cs
using System;
using System.Collections.Generic;
using System.Linq;
using Marten;
using Xunit;
namespace marten_test
public class CreateAndQuery
View invoke-environment.ps1
function Invoke-Environment {
# Source:
# and
$stream = if ($Output) { ($temp = [IO.Path]::GetTempFileName()) } else { 'nul' }
seankearon / 0_reuse_code.js
Last active Aug 29, 2015
Here are some things you can do with Gists in GistBox.
View 0_reuse_code.js
// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console
View Installing a Topshelf Service in OctopusDeploy
Deployment steps for this blog post:
seankearon / Typescript Jasmine Knockout Setup
Last active Aug 29, 2015
Set up for testing a TypeScript Knockout model in Visual Studio with Jasmine
View Typescript Jasmine Knockout Setup
Install-Package knockoutjs
Install-Package knockout.typescript.DefinitelyTyped
Install-Package JasmineTest
Install-Package jasmine.typescript.DefinitelyTyped
You can’t perform that action at this time.