Skip to content

Commit 083fe0e

Browse files
hyperpolymathclaude
andcommitted
chore: update language submodule pointers
Idris2 violation fixes + batch RSR compliance propagated to 13 languages. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent aacb109 commit 083fe0e

13 files changed

Lines changed: 13 additions & 13 deletions

File tree

7-tentacles

betlang

eclexia

ephapax

julia-the-viper

my-lang

0 commit comments

Comments
 (0)