copumpkin

module Topology where

import Level
open import Function
open import Data.Empty
open import Data.Unit
open import Data.Nat hiding (_⊔_)
open import Data.Fin
open import Data.Product
open import Relation.Nullary

chrisdone

Basic unit type:

λ> replTy "()"
() :: ()

Basic functions:

gallais

open import Data.Nat

module atleastn (n : ℕ) {a} (A : Set a) where

open import Data.List using (List; length)
open import Data.Vec

record SizedList : Set a where
  field list : List A
        size : length list ≥ n

liortal53

using System.IO;
using UnityEditor.PackageManager;
using UnityEngine;

namespace UnityEditor.Extensions
{
    #if UNITY_2017_3_OR_NEWER
    
    /// <summary>
    /// Editor extension for embedding packages as a local copy in the project.