MathiasSven

#!/usr/bin/env nix-shell
#!nix-shell -i python3 -p python3Packages.requests python3Packages.beautifulsoup4 smenu

import argparse
from collections.abc import Sequence
from dataclasses import dataclass
from functools import partial
from subprocess import PIPE, CalledProcessError, run
from sys import exit
from typing import cast

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