Giters
gallais
/
idris-tmustache
Total Logic-Less Templating Library
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
12
Watchers:
3
Issues:
3
Forks:
1
gallais/idris-tmustache Issues
Create monadic version of insert
Updated
6 years ago
Use `compareBy` instead of `the (Trichotomy ...) ...` everywhere
Closed
7 years ago
Make `Tree.lookup` lazier
Closed
7 years ago