profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/3noch/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Elliot Cameron 3noch @airtonomy Jeffersonville, IN https://airtonomy.ai Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕

3noch/beam-postgres-transaction-monad 5

Very basic transaction monad on top of the venerable Beam library

3noch/dotfiles 3

Dot files and nix configuration for my systems

3noch/drifter-project-m36 3

Drifter migration backend for Project:M36

3noch/chess-finder-servant-demo 2

Demo app for Haskell Servant

3noch/align 1

A command-line tool that aligns the columns of tabular input

3noch/corona-articles 1

Edited articles by Alberto Gómez Corona

3noch/fp.py 1

Slides for "An Introduction to Functional Programming in Python"

3noch/haskell-hacks 1

Random Haskell snippets.

3noch/3noch.github.io 0

3noch github pages

startedinput-output-hk/bitte

started time in 16 days

startedsolidjs/solid

started time in 22 days

startedruneksvendsen/orderbook

started time in 24 days

startediovisor/ply

started time in a month

startedtree-sitter/tree-sitter

started time in a month

startedclash-lang/ghc-typelits-extra

started time in 3 months

issue commentclaymager/idris2-pkgs

Document how to get nix develop with lsp installed

I mistyped. It's actually inputsFrom: https://nixos.org/manual/nixpkgs/stable/#sec-pkgs-mkShell

3noch

comment created time in 3 months

delete branch 3noch/idris2-pkgs

delete branch : patch-1

delete time in 3 months

issue commentclaymager/idris2-pkgs

Document how to get nix develop with lsp installed

Adding this to flake.nix seems to work:

        devShell = pkgs.mkShell {
          buildInputs = [ pkgs.idris2.packages.lsp ];
          buildInputsFrom = [ mypkg ];
        };
3noch

comment created time in 3 months

issue openedclaymager/idris2-pkgs

How to get nix develop with lsp installed

I'm very new to nix flakes and I'm struggling to find out how I might have a shell where idris2-lsp is available for my IDE.

created time in 3 months

PR opened claymager/idris2-pkgs

[ fix ] Don't fetchGit ./.

I'm new to nix flakes, but this seems off.

+1 -1

0 comment

1 changed file

pr created time in 3 months

push event3noch/idris2-pkgs

Elliot Cameron

commit sha 14880cef2c11d47f5b4b69b23f52b37b9c95d5f5

[ fix ] Don't fetchGit ./.

view details

push time in 3 months

push event3noch/nixos-config

Elliot Cameron

commit sha 5c54e32a2bdde0c5e2ff0f851ff3c9224193a9b6

Drop airtonomy stuff

view details

Elliot Cameron

commit sha a59cad2efa1e7d2428e650db088f3506de28c431

Update nixpkgs

view details

Elliot Cameron

commit sha 3737769ad55d7f441d62fcb787bc4a7510ce2bb6

Enable nix flakes

view details

push time in 3 months