Idris Notes

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