Code

Add nix flake support#199

Code

Closed

bodokat wants to merge 4 commits intoidris-community:mainidris-community/idris2-lsp:mainfrom bodokat:mainbodokat/idris2-lsp-nix:mainCopy head branch name to clipboard

+211

Commits

Commits on Jul 4, 2023

• create nix flake

  bodokat

  committed
  462f481

  Copy full SHA for 462f481

• fix idris2-api build

  bodokat

  committed
  ef0ee51

  Copy full SHA for ef0ee51

• Update README.md

  bodokat

  authored
  82373e1

  Copy full SHA for 82373e1

Commits on Dec 22, 2023

• Update README.md

  Show description for 2960fc1
  

  mattpolzin

  and

  Luis-omega

  authored
  2960fc1

  Copy full SHA for 2960fc1