Code

various changes#30

Code

Merged

ohad merged 5 commits intoidris-community:mainidris-community/katla:mainfrom iacore:fix-2iacore/katla:fix-2Copy head branch name to clipboardJul 20, 2024

+11-6

Commits

Commits on Dec 8, 2022

• Fix Makefile

  iacore

  committed
  7a793ba

• Add usage text for 'katla html'

  iacore

  committed
  52ca31b

• Fix Makefile again

  iacore

  committed
  9cfc598

• Fix usage text

  iacore

  committed
  3245e69

Commits on Jul 20, 2024

• Update src/Katla/CLI.idr

  Show description for aadd1d7
  

  ohad

  and

  gallais

  authored
  aadd1d7