Frank Shearar

Type declarations in F# are shown as not covered

13

Please provide the following information when submitting an issue, where appropriate replace the `[ ]` with a `[X]` ### My Framework - [ ] .NET 2 - [ ] .NET...

Monticello->filetree converter

14

What would be absolutely amazing would be a [tailor-like](http://progetti.arstecnica.it/tailor/) tool to convert an existing Monticello repository for a package into a filetree repo under git. Gitocello does something like this:...

[VS Code's Alloy extension](https://marketplace.visualstudio.com/items?itemName=ArashSahebolamri.alloy) gives me the ability to embed Alloy code inside a Markdown file. This allows me to produce a model and nicely laid out documentation in the...

Is there a way in VS Code to make "TLA+: Check with TLC" keep focus on the model's buffer? The focus changes to the checker's buffer, and so I need...

```diff - + ``` ^^^ The above transformation shouldn't happen.

Trying to commit something with the commit message 'Return for the continuation monad actually means "put a _blocklike value_ into a continuation wrapping just that blocklike value.".' breaks badly, because...

Given packages - Unification - Unification-Tests - Unification-Destructuring - Unification-Destructuring-Tests I'd expected to see directory structure - Unification - Unification/Unification - Unification/Tests - Unification/Destructuring - Unification/Destructuring/Tests but instead, classes in...

Doubled method definition

2

This comes from https://github.com/frankshearar/PersistentUnionFind/blob/master/Extensions/Dictionary.st - ``` !Dictionary methodsFor: '*PersistentUnionFind' stamp: 'fbs 1/2/2012 14:21'! elementsOfClass: aParentObject ^ ((self associations select: [:assoc | (assoc value = aParentObject) or: [assoc key = aParentObject]]...

I left the commented-out reference to Vassili Bykov's Regex in place. (Mainly so that someone can put an example there of how to use a regex.) Otherwise, SMACC is still...