re-xyr

[Trigger]
Operation = Install
Operation = Upgrade
Operation = Remove
Type = Package
Target = *

[Action]
Description = Detecting orphaned packages...
When = PostTransaction

re-xyr

module Flip where

open import Function using (_∘_)
open import Relation.Binary.PropositionalEquality using (_≡_; refl)

-- truth values

data Truth : Set where
  ⊤ : Truth
  ⊥ : Truth

re-xyr

#! /bin/bash
install() {
  local tool=$1
  if [ -z $tool ]; then
    tool=ghc
  fi
  local version=$2
  if [ -z $version ]; then
    version=recommended
  fi

re-xyr

[buildPlans.IosevkaMoe]
family = "Iosevka Moe"
spacing = "normal"
serifs = "sans"
noCvSs = true
exportGlyphNames = false

[buildPlans.IosevkaMoe.variants.design]
two = "straight-neck-serifless"
four = "closed-serifless"

re-xyr

import Unification.Companion.convertibleTo
import Unification.Companion.unify
import org.junit.jupiter.api.Test

// Refs
sealed interface Def
class Local(val name: String) : Def {
  override fun toString(): String = name
}
class Meta(val name: String, var solution: Term? = null) : Def {