Idris Notes

Table of Contents

Silly

module Silly

implementation [shit] Show Nat where
  show = const "shit"

Then, to explicitly refer to this shit implementation: 

export
example : IO ()
example = putStrLn $ show @{shit} 42

idris --exec 'example' Silly.idr

Generated by Eric Bailey on 2017-03-20 Mon 06:26 using Emacs 25.1.1 (Org mode 9.0.5).