heaths

#!/usr/bin/env -S cargo +nightly -Zscript
---
[package]
edition = "2021"

[dependencies]
cargo-util-schemas = "0.1.0"
serde = { version = "1.0.197", features = ["derive"] }
serde_json = "1.0.114"
toml = "0.8.10"

gelisam

-- Defining a custom recursion scheme to manipulate two mutually-recursive
-- types, in the context of a toy bidirectional type checker.
{-# LANGUAGE DerivingStrategies, GeneralizedNewtypeDeriving, ScopedTypeVariables #-}
module Main where

import Test.DocTest

import Control.Monad (when)
import Data.Bifunctor (Bifunctor(bimap))
import Data.Bifoldable (Bifoldable(bifoldMap), bitraverse_)

sainoe

#!/bin/bash

set -eux

```
tee ${PROV_NODE_DIR}/change-voting-period.json<<EOF
{
    "title": "Change voting period",
    "description": "Voting period",
    "changes": [

piperswe

#!/bin/sh

# Required on macOS because cctools is marked as broken
export NIXPKGS_ALLOW_BROKEN=1
nix run -f image.nix -c push
docker run ghcr.io/piperswe/hello

SergeiMeza

// Main

@main
struct ChatApp_macOSApp: App {
    var body: some Scene {
        WindowGroup {
            Home()
        }
      // Hiding Title Bar...
        .windowStyle(HiddenTitleBarWindowStyle())

romac

Usage

1. Install https://github.com/sindresorhus/dark-mode

   $ brew install dark-mode

2. Download iterm_profile.zsh

scottmatthewman

import SwiftUI
import Combine

struct AdaptsToSoftwareKeyboard: ViewModifier {
  @State var currentHeight: CGFloat = 0

  func body(content: Content) -> some View {
    content
      .padding(.bottom, currentHeight)
      .edgesIgnoringSafeArea(.bottom)

mosen

import Foundation
import NetFS

enum ShareMountError: Error {
    case InvalidURL
    case MountpointInaccessible
    case InvalidMountOptions
}

non

Laws

A law is a group of two or more expressions which are required to be the same. The expressions will usually involve one or more typed holes ("inputs") which vary.

Some examples:

x.map(id) === x

ocharles

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}