• @someacnt_
    link
    111 months ago

    Is eBPF dependently typed?