Base.Fmt [0.0.1]

Dependently-typed String Formatter for Idris2

Fmt

Fmt is an Idris2 package for compile-time string formatting. Think of it like printf but with type-checking.

let x = "world" in
fmt "Hello %s." x

let name = "Tim", age=30 in
fmt "Name: %s, Age: %d" name age

This package repurposes the code from chrisdone in this gist: https://gist.github.com/chrisdone/672efcd784528b7d0b7e17ad9c115292

We'd like to expand this project to include more interesting types. Feel free to expand on the current parser.

MIT