LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Idris

katla

jfdm/katla

IdrisEmerging

Stars

—

Forks

—

Contributors

7

Last push

10mo ago

Recent commits

Latest commits.

Fix deprecated cache action
b28e5beOhad Kammar13mo ago
Merge pull request #39 from madman-bob/pandoc
53b0e47André Videla20mo ago
Add usage to readme
13a4d14Hideaki Kawai23mo ago
various changes (#30)
1db94bdiacore23mo ago
Add Pandoc mode
845f78dRobert Wright24mo ago
Merge pull request #38 from andrevidela/fix-cli-parsing

7282c4cAndré Videla25mo ago

Update idris version in CI

f6d0f78André Videla25mo ago

fix parsing of config file arguments

a856a0cAndré Videla25mo ago

Top contributors

Builders behind this project.