Code

Use unnamed Pi type argument#2640

Code

Open

felixspringernatuvion wants to merge 1 commit intodhall-lang:maindhall-lang/dhall-haskell:mainfrom felixspringernatuvion:mainfelixspringernatuvion/dhall-haskell:mainCopy head branch name to clipboard

Commits

Commits on Feb 11, 2025

• Use unnamed Pi type argument.

  Show description for 8e2251c
  felixspringernatuvion

  committed
  8e2251c

  Copy full SHA for 8e2251c