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
License: GNU General Public License v3.0
Total Logic-Less Templating Library
Using idris-tparsec and type providers to guarantee at compile time that template and data agree.
Insert should be allowed to fail (e.g. if we don't want to override existing values):
For that to work, we need update
with the type:
update : (TotalStrictOrder ltR, Monad m) =>
(k : key) -> ({k1 : key} -> k = k1 -> Maybe (val k1) -> m (val k1)) ->
ExtendLT ltR l (Lift k) -> ExtendLT ltR (Lift k) u ->
Tree ltR val l u n -> m (MayFit ltR val l u n)
The idea of introducing compareBy
was so simple, it took me weeks to think of it...
Port all of the calls to the (Trichotomy ltR x y) (trichotomy x y)
to compareBy ltR x y
.
Just like trichotomy was too strict so is Tree.lookup which can lead to some type-level
computations getting stuck (e.g. uses of Set.elem
).
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.