This commit is contained in:
Dustin Swan 2026-03-26 22:04:18 -06:00
parent 0514889ba6
commit bc5027ddc1
No known key found for this signature in database
GPG key ID: 30D46587E2100467

View file

@ -1,8 +1,3 @@
point : Int \ Int \ { x : Int, y : Int } = x y \ { x = x, y = y };
getX : { x : Int, y : Int } \ Int = p \ p.x;
setX : Int \ { x : Int, y : Int } \ { x : Int, y : Int } = newX p \ p.{ x = newX };
myPoint = point 3 Blah;
Num a {
add : a \ a \ a;
sub : a \ a \ a;