[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Agda needs a patch

Also, it seems like dist/build/Agda/Syntax/Parser/{Lexer,Parser}.hs are version-controlled, although they seem to be generated from src/full/Agda/Syntax/{Lexer.x,Parser.y}. Any reason for that? Introduced by fe6fa12e5cb63847e1d67f8eceaa40a8af806de8.


When I grow up,
I will run a Tor node around the clock,
To help threatened protesters 'round the world.

Reply to: