#lang racket
(require (planet wcy/mpost-wrapper))
(require (planet wcy/mpost-wrapper/label))
(provide main)
(define (A-B-C)
  (values (point 0 0)
          (point '1cm 0)
          (point 0 '1cm)))
(define (main)
  (call-with-values A-B-C
    (lambda (A B C)
      (draw (op-- A B C 'cycle))
      (dot-label-llft (btex "$A$") A)
      (dot-label-lrt (btex "$B$") B)
      (dot-label-top (btex "$C$") C))))