www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

adt-v.scrbl.old (295B)

      1 #lang scribble/manual
      2 
      3 @require["util.rkt"
      4          "adt-utils.rkt"
      5          (for-label (only-meta-in 0 typed/racket))]
      6 @(use-mathjax)
      7 
      8 @title[#:style (with-html5 manual-doc-style)
      9        #:version (version-text)]{Values}
     10 
     11 @$${v ⩴ …
     12  @P @ctor[@κ v]
     13  @P @record[@repeated{@|ɐ|ᵢ = vᵢ}]}