File: Main.hs

package info (click to toggle)
bali-phy 4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 15,392 kB
  • sloc: cpp: 120,442; xml: 13,966; haskell: 9,975; python: 2,936; yacc: 1,328; perl: 1,169; lex: 912; sh: 343; makefile: 26
file content (9 lines) | stat: -rw-r--r-- 147 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
{-# LANGUAGE NoImplicitPrelude, RankNTypes #-}

data T = MkT (forall a.a->a)

f (MkT g) x = g x

id x = x
              
(MkT g, x) = (MkT id, [])