mdiep

let P =
      { List =
          https://raw.githubusercontent.com/dhall-lang/dhall-lang/v23.0.0/Prelude/List/package.dhall
      , Natural =
          https://raw.githubusercontent.com/dhall-lang/dhall-lang/v23.0.0/Prelude/Natural/package.dhall
      }

let modulo
    : Natural → Natural → Natural
    = λ(divisor : Natural) →

mdiep

import Foundation

// Diff values for better test assertions.
//
// Enums and collections left as an exercise for the reader.

// A difference between two values
struct Difference: CustomStringConvertible {
    let path: String
    let actual: String

mdiep

import Foundation

// Diff objects for better test assertions.
//
// Implemented in a way that:
//  1. The compiler generates as much code as possible
//  2. You'll get a compiler error if you forget a property
//
// Nested support and collections left as an exercise for the reader.

mdiep

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
	<key>DVTConsoleDebuggerInputTextColor</key>
	<string>0.75 0.75 0.75 1</string>
	<key>DVTConsoleDebuggerInputTextFont</key>
	<string>SFMono-Bold - 12.0</string>
	<key>DVTConsoleDebuggerOutputTextColor</key>
	<string>0.75 0.75 0.75 1</string>

mdiep

struct S<Args, Return> {}

infix operator ~
func ~ <A, T>(lhs: (A) -> T, rhs: String) -> S<(A), T> {
	return S()
}
func ~ <A, B, T>(lhs: (A, B) -> T, rhs: String) -> S<(A, B), T> {
	return S()
}