Skip to content

Instantly share code, notes, and snippets.

@larrytheliquid

larrytheliquid/HiddenParam.agda Secret

Last active February 6, 2017 22:23
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save larrytheliquid/602d60e2776230c5e8d5d35fccd43555 to your computer and use it in GitHub Desktop.
Save larrytheliquid/602d60e2776230c5e8d5d35fccd43555 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
HiddenParam.agda
open import Data.List
module HiddenParam where
param : {A : Set} → List A → Set
param ([] {A = A}) = A
param (_∷_ {A = A} x xs) = A
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment