Skip to content

Lexer for Agda - #1825

Open
ionathanch wants to merge 18 commits into
rouge-ruby:mainfrom
ionathanch:master
Open

Lexer for Agda#1825
ionathanch wants to merge 18 commits into
rouge-ruby:mainfrom
ionathanch:master

Fix pragma comments

32b3953
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Profile
succeeded Sep 13, 2026 in 1m 3s