Code

Adding support for Idris2#68

Code

Closed

favetelinguis wants to merge 6 commits intothe-nix-way:mainthe-nix-way/dev-templates:mainfrom favetelinguis:mainfavetelinguis/dev-templates:mainCopy head branch name to clipboard

Commits

Commits on Dec 12, 2024

• Add idris2 support

  

  Henrik Larsson

  committed
  8e76ce6

  Copy full SHA for 8e76ce6

• Add idris2 template

  

  Henrik Larsson

  committed
  bd36321

  Copy full SHA for bd36321

• Add idris2 lock file

  

  Henrik Larsson

  committed
  2ae92b4

  Copy full SHA for 2ae92b4

• Fix old reference

  

  Henrik Larsson

  committed
  59f5c7e

  Copy full SHA for 59f5c7e

• Revert "Fix old reference"

  Show description for 3a58e13
  

  Henrik Larsson

  committed
  3a58e13

  Copy full SHA for 3a58e13

• Update readme for idris2

  

  Henrik Larsson

  committed
  89e8820

  Copy full SHA for 89e8820