From c26167900174d77e545973f78d60c0bb7be0f4b6 Mon Sep 17 00:00:00 2001 From: Anthony Wang Date: Sun, 5 Jul 2026 21:22:59 -0400 Subject: [PATCH] Add cyan, fix wrong RGB values for yellow --- lean/Raylean/Types.lean | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lean/Raylean/Types.lean b/lean/Raylean/Types.lean index 2146dfe..df21ef2 100644 --- a/lean/Raylean/Types.lean +++ b/lean/Raylean/Types.lean @@ -75,9 +75,10 @@ def white := { r:=255, g:=255, b:=255, a:=255 : Color } def red := { r:=255, g:=0, b:=0, a:=255 : Color } def green := { r:=0, g:=255, b:=0, a:=255 : Color } def blue := { r:=0, g:=0, b:=255, a:=255 : Color } -def yellow := { r:=0, g:=255, b:=255, a:=255 : Color } +def yellow := { r:=255, g:=255, b:=0, a:=255 : Color } +def cyan := { r:=0, g:=255, b:=255, a:=255 : Color } +def magenta := { r:=255, g:=0, b:=255, a:=255 : Color } def black := { r:=0, g:=0, b:=0, a:=255 : Color } -def magenta := { r := 255, g := 0, b := 255, a := 255 : Color } def transparent := { r:=0, g:=0, b:=0, a:=0 : Color } instance : Inhabited Color where