fork(1) download
copy 
  1. {-# LANGUAGE NoImplicitPrelude #-}
  2. import Prelude (return)
  3. data False
  4. data True = True
  5.  
  6. data And a b = And a b
  7.  
  8. type Not a = a -> False
  9.  
  10. false :: False
  11. false = false
  12.  
  13. багор :: a -> And a (Not a)
  14. багор a = And a (\ _ -> false)
  15.  
  16. main = return ()
Success #stdin #stdout 0s 4512KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/6jyyBW
language:
Haskell (ghc 8.4.4)
created:
3 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!