Skip to content

Commit

Permalink
fix: remove fancy unicode from Lean's logo
Browse files Browse the repository at this point in the history
  • Loading branch information
@foxyseta
foxyseta committed Jan 16, 2025
1 parent 9d6091f commit e9d7729
Showing 1 changed file with 12 additions and 12 deletions.
24 changes: 12 additions & 12 deletions languages.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1567,18 +1567,18 @@ Lean:
type: programming
ascii: |
{0}
{0} L ∃∃∃∃∃∃∃∃ N N
{0} L ∃∀ ∀NN N
{0} L ∃∀∀ ∀N N N
{0} L ∃ ∀∀ ∀∀N NN N
{0} L ∃ ∀∀ ∀ N NN N
{0} L ∃∃∃∃∃∃∃∃ ∀∀∀∀∀∀∀∀ N N N
{0} L ∃ ∀∀∀∀∀∀ N N N
{0} L ∃ ∀∀ ∀∀ N N N
{0} L ∃ ∀ ∀ N NN N
{0} L ∃ ∀∀∀∀ N NNN
{0} L ∃ ∀∀ N NN
{0} LLLLLL ∃∃∃∃∃∃∃∃ ∀ N N
{0} L EEEEEEEE A A N N
{0} L E A AA NN N
{0} L E AA AA N N N
{0} L E AA A N NN N
{0} L E AA A N NN N
{0} L EEEEEEEE AAAAAAAA N N N
{0} L E AAAAAA N N N
{0} L E AA AA N N N
{0} L E A A N NN N
{0} L E AAAA N NNN
{0} L E AA N NN
{0} LLLLLL EEEEEEEE A N N
{0}
colors:
ansi:
Expand Down

0 comments on commit e9d7729

Please sign in to comment.