MathiasSven

PrimVar:

1:

real    0m39.444s
user    0m39.348s
sys     0m0.058s

2:

MathiasSven

{

  description = "LiquidHaskell";

  inputs = {
    nixpkgs.url = github:NixOS/nixpkgs/nixos-unstable;
    flake-utils.url = github:numtide/flake-utils;
    liquidhaskell-src = {
      url = github:ucsd-progsys/liquidhaskell;
      flake = false;

MathiasSven

{
  description = "A very basic flake";

  outputs = { self, nixpkgs }: {
    a = 1;
  };
} 

MathiasSven

[email protected] AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIFdCJVC5wYAM6YmK3TBjevMsEQa0xu1aK8iu5F7/fO8nAAAADXNzaDp5dWJpa2V5XzU= ssh:yubikey_5
[email protected] AAAAGnNrLXNzaC1lZDI1NTE5QG9wZW5zc2guY29tAAAAIN2ye/VS/VZQHGdTz7Yi/Wcfkr3ApbWVRH/xpIrDG7CJAAAADnNzaDp5dWJpa2V5XzVj ssh:yubikey_5c

MathiasSven

### Keybase proof

I hereby claim:

  * I am mathiassven on github.
  * I am mathiassven (https://keybase.io/mathiassven) on keybase.
  * I have a public key ASA52foPePg3jpHXheVAaCtLAoChovcMJQCw4eQZvjooPwo

To claim this, I am signing this object:

MathiasSven

This is an OpenPGP proof that connects my OpenPGP key to this Github account. For details check out https://docs.keyoxide.org/advanced/openpgp-proofs/

[Verifying my OpenPGP key: openpgp4fpr:88CDD3605FAF3B072F96E411569C12C53A202739]

MathiasSven

from __future__ import annotations

from contextlib import suppress
from typing import Any, ClassVar
from typing_extensions import reveal_type


class Foo: ...
class SubFoo(Foo):
    def bar(self) -> int: return 5