Skip to content

Instantly share code, notes, and snippets.

@Kirens
Kirens / Fmt.idr
Created September 30, 2019 15:56 — forked from brendanzab/Fmt.idr
-- Based off https://www.youtube.com/watch?v=fVBck2Zngjo
module Fmt
%default total
data FPart
= FShow -- "{}" (Show a => a)
| FInt -- "{i}" (Int)
| FString -- "{s}" (String)