Giters

antalsz / urn-random

A Haskell package for updatable discrete distributions

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

urn-random

A Haskell package for updatable discrete distributions

About

A Haskell package for updatable discrete distributions

License:MIT License

Languages

Language:Coq 55.1%Language:Haskell 41.9%Language:Makefile 3.0%