sudo apt install openjdk-8-jdk-headless
zeaphoo
/ adt.py
Created
September 1, 2022 00:56
— forked from aarondewindt/adt.py
Experimental Algebraic Data Types implementation in Python 3.10
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| from dataclasses import dataclass | |
| class ADTMeta(type): | |
| def __new__(mcs, name, bases, namespace: dict): | |
| adtc_class = super().__new__(mcs, name, bases, namespace) | |
| if "__is_adt_variant__" in namespace: | |
| if namespace["__is_adt_variant__"]: | |
| return adtc_class |
zeaphoo
/ Install Android SDK CLI Ubuntu 20.04 WSL2.md
Created
February 27, 2022 12:15
— forked from steveclarke/Install Android SDK CLI Ubuntu 20.04 WSL2.md