lelf

  Coq < Compute 0.1.
  Toplevel input, characters 8-11:
  > Compute 0.1.
  >         ^^^
  Warning: The constant 0.1 is not a binary64 floating-point value. A closest
  value 0x1.999999999999ap-4 will be used and unambiguously printed
  0.10000000000000001. [inexact-float,parsing]
       = 0.10000000000000001
       : float

There's a more modern reincarnation of the similar ideas — https://pijul.org. Ready for playing with, not much else.

This page https://web.archive.org/web/20190801000000*/https://github.c... has been[1] “500 internal server error” since late-December (globally it seems). Nobody cares (“not a priority” (c) support), nothing on githubstatus.

[1] blue circles on web.archive are errors too

While I can understand how that code can be intimidating to a programmer with a more “traditional” background… there are 26 (non-empty) lines of comments, and only 15 lines of code.

  10 LIST

also collected alcoholic beverage consumption, including red and white wine separately (4 ounces, increasing to 5 ounces in 2006), beer (one glass, can, or bottle), and liquor (one drink or shot). We multiplied the amount of alcohol in grams per specified portion size by servings per day, determined the midpoint of the frequency category, and summed across all beverages to estimate the average alcohol consumption (g/day). We defined moderate alcohol consumption as 5-15 g/day for women and 5-30 g/day for men

Surely it cannot be 4 bottles of beer daily (or 4*7 bottles on weekend).

  -o >(grep O_DIRECT)

Yes it has.

https://github.com/JohnEarnest/ok/blob/gh-pages/docs/Manual.... for OK (the K interpreter in iKe)

Why?

The other (and more important) matter, — that is not even mentioned, — is comparison. E. g. in “rational by default in this specific case” languages (Perl 6),

  > 0.1+0.2==0.3
  True

      0.1+0.2
  0.3
      ⎕PP←20 ⋄ 0.1+0.2
  0.30000000000000004
      (0.1+0.2) ≡ 0.3
  1

  (⊃,(⍕2-⍨≢),⊃∘⌽)'accessibility'