Total Logic-Less Templating Library
Using idris-tparsec and type providers to guarantee at compile time that template and data agree.
Total Logic-Less Templating Library
Using idris-tparsec and type providers to guarantee at compile time that template and data agree.