Langston Barrett

icon indicating a website link https://langston-barrett.github.io icon indicating an email [email protected]

icon company @GaloisInc icon location Brooklyn icon location Researcher with experience in functional programming, formal methods, programming languages, and security.

Results 309 issues of Langston Barrett

Add example for streaming output

Since we added support for streaming output via a channel in #12, we should add an example so it is easy to use!

Edit file in place

2 comment

Both the venerable `sed` and `stylish-haskell` provide the `-i` flag for inplace editing of files, even though they are used by default in the "pipeline" style. It would be convenient...

type: enhancement
component: hindent

High level requests for verbs other than POST/GET

4 comment

Currently, there are only two "high-level" HTTP functions, `get` and `post`. It seems to me that `PUT` and `DELETE` would also be very useful. What do you think? Parenthetically, the...

More descriptive RawNetworkError

1 comment

A `RawNetworkError` could be any number of things, could we possibly make this type more specific?

Can Big Theta be extended to a StrongSetoid?

Figure out if there is an irreflexive, antisymmetric, cotransitive relation on functions

Fix documentation build

Support Agda 2

3 comment

Use GHC as a library

http://stackoverflow.com/questions/35449353/how-can-i-parse-ghc-core

Convert hs2agda.in to pure Haskell

Use Cabal instead of Makefiles