Agda-2.6.1.1: A dependently typed functional programming language and proof assistant
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Agda.ImpossibleTest
Documentation
impossibleTest
:: a
Source
#