0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 17 hours ago. based on code collected about 18 hours ago.
Nov 15, 2024 — Nov 15, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Fix binaries workflow More... over 2 years ago
Merge branch 'release-v0.4.1.1' into develop More... over 2 years ago
Bump version More... over 2 years ago
Install alex, happy, and BNFC for binaries workflow More... over 2 years ago
Fix dependencies in rzk.nix More... over 2 years ago
Merge branch 'release-v0.4.1' into develop More... over 2 years ago
Bump version and update changelog More... over 2 years ago
Add rzk version command More... over 2 years ago
Add action to release binaries More... over 2 years ago
Merge pull request #49 from aabounegm/develop More... over 2 years ago
Remove hardcoded tag for the release More... over 2 years ago
Configure the SVG generator to only run on .rzk.md More... over 2 years ago
Combine both classes into one More... over 2 years ago
Move styles from Haskell source code to HTML More... over 2 years ago
Enable squashing gh-pages history More... over 2 years ago
Add a step to setup rzk before MkDocs More... over 2 years ago
Remove hardcoded diagrams from the markdown source More... over 2 years ago
Add a MkDocs hook to automatically generate SVGs More... over 2 years ago
Add MkDocs to Python's list of requirements More... over 2 years ago
Add Python venv to gitignore More... over 2 years ago
Read stdin when no filepaths are given More... over 2 years ago
Improve slightly the Pygments highlighter More... over 2 years ago
Fix Pygments highlighter for params More... over 2 years ago
Fix Pygments highlighter for lambda abstraction More... over 2 years ago
Add information about highlighting to the docs More... over 2 years ago
Add Pygments highlighting More... over 2 years ago
Update highlighting for rzk v0.4.0 More... over 2 years ago
Merge branch 'release-v0.4.0' into develop More... over 2 years ago
Bump version and update changelog More... over 2 years ago
Merge pull request #39 from deemp/develop More... over 2 years ago