lukechampine

:: Hoonlet
::
|=  n=@
?:  =(n 0)
  1
(mul n $(n (dec n)))
::
:: Commie Hoontard
::   (...daydreaming of his very own Type 59...)
::

lukechampine

|=  n=@
=<
|^
(fib-dec (interp fib-prog (fib-enc n)))
++  fib-prog
  :~  17^65
      133^34
      17^19
      23^17
      2.233^69

lukechampine

package main

import (
	"fmt"
)

func main() {
	fmt.Println(renderBNT(19))
}

lukechampine

Dead arms detected by running the above script on urbit/urbit tip, against a corpus
of ~300k lines of Hoon (including urbit/urbit itself and various community repos):

urbit/pkg/autoprop/sur/sole.hoon:
    +sole-gen
urbit/pkg/autoprop/lib/ethereum.hoon:
    +address-to-checksum
    +batch-read-request
    +encode-atoms
    +light-json-request

lukechampine

package main

import (
	"flag"
	"html/template"
	"log"
	"net/http"
	"strings"
)

lukechampine

package main

import (
	"flag"
	"fmt"
	"log"
	"os"

	"go.sia.tech/core/types"
	"go.sia.tech/walletd/v2/api"