idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
60 stars 7 forks source link

Templates #31

Closed Z-snails closed 3 years ago

Z-snails commented 3 years ago

These are used for initialising new projects Currently it is a very simple templating language

\\ is a literal \ \{ begins a variable or file declaration } ends a variable or file declaration

Variables are:

File declarations look like \{file ...} and begin a file. the file ends at the next file declaration or end of file

There is currently a small limitation, which I plan to remove later which is file declaration can't contain variables

The parser is a deterministic finite automaton, so it should be quick.

I still have some more todos: