This file contains 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
# edit the login message | |
vi /etc/motd | |
# switch to usable repos - iSH defaults often failed with EOF errors | |
echo https://dl-cdn.alpinelinux.org/alpine/v3.13/main > /etc/apk/repositories | |
echo https://dl-cdn.alpinelinux.org/alpine/v3.13/community >> /etc/apk/repositories | |
# install some basics | |
apk add zsh bash | |
apk add sed attr dialog dialog-doc bash bash-doc bash-completion grep grep-doc |
This file contains 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
-- | ⚠️ IMPORTANT | |
-- | |
-- This code is UNTESTED and UNLICENSED. Use at your own risk and do whatever | |
-- you want with it. | |
{-# LANGUAGE TemplateHaskell #-} | |
{-# LANGUAGE TypeApplications #-} | |
module Plutus.ManagedDelegation where |
This file contains 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
{-# LANGUAGE GADTs, ConstraintKinds, KindSignatures, DeriveDataTypeable #-} | |
{-# LANGUAGE TypeOperators, ScopedTypeVariables, FlexibleInstances #-} | |
module Shape where | |
import Control.Applicative ((<$>), (<|>)) | |
import Data.Maybe (mapMaybe) | |
import Data.Typeable | |
import GHC.Exts (Constraint) | |