Point Frege generation to GitHub sources instead of defunct try.frege-lang.org#464
Merged
Bodigrim merged 1 commit intondmitchell:masterfrom Dec 16, 2025
Merged
Point Frege generation to GitHub sources instead of defunct try.frege-lang.org#464Bodigrim merged 1 commit intondmitchell:masterfrom
Bodigrim merged 1 commit intondmitchell:masterfrom
