Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.

Project ID: 10
Name
Last commit
Last update
Basic Loading commit data...
Bool Loading commit data...
BoundedNat Loading commit data...
CoinductiveCalculus Loading commit data...
Decidable Loading commit data...
DirectedAcyclicGraphs Loading commit data...
Double Loading commit data...
Enumerated Loading commit data...
Equality Loading commit data...
EscardoOliva Loading commit data...
Exists Loading commit data...
FastSimpleProb Loading commit data...
Fin Loading commit data...
Finite Loading commit data...
Fraction Loading commit data...
Fun Loading commit data...
Functor Loading commit data...
GenericSimpleProb Loading commit data...
HList Loading commit data...
HVect Loading commit data...
Identity Loading commit data...
InfiniteHorizonSequentialDecisionProblems Loading commit data...
Interfaces Loading commit data...
Isomorphism Loading commit data...
List Loading commit data...
LocalEffect Loading commit data...
Matrix Loading commit data...
Maybe Loading commit data...
Nat Loading commit data...
NeuralNetworks Loading commit data...
NonNegDouble Loading commit data...
NonNegRational Loading commit data...
Num Loading commit data...
Opt Loading commit data...
Ordering Loading commit data...
PNat Loading commit data...
Pair Loading commit data...
Pairs Loading commit data...
ProbabilisticInference Loading commit data...
Real Loading commit data...
Rel Loading commit data...
SequentialDecisionGames Loading commit data...
SequentialDecisionProblems Loading commit data...
Set Loading commit data...
Sigma Loading commit data...
SimpleProb Loading commit data...
So Loading commit data...
Subset Loading commit data...
Testing Loading commit data...
Tuple Loading commit data...
Unique Loading commit data...
Unit Loading commit data...
Vect Loading commit data...
Void Loading commit data...
books Loading commit data...
issues Loading commit data...
lectures Loading commit data...
literature/DimensionalAnalysis Loading commit data...
notes Loading commit data...
papers/JFP2016 Loading commit data...
projects/CoeGSS Loading commit data...
tmp Loading commit data...
.gitignore Loading commit data...
IdrisLibs.ipkg Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...