this repo has no description www.jonmsterling.com/01HC/
dependent-types proof-assistant swift
at main 6 lines 204 B view raw
1// SPDX-FileCopyrightText: 2025 The Project Pterodactyl Developers 2// SPDX-FileCopyrightText: 2026 The Project Pterodactyl Developers 3// 4// SPDX-License-Identifier: MPL-2.0 5 6import LanguageServerProtocol