Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
GDL		GDL
ImmutableJS		ImmutableJS
ProbProg		ProbProg
Verification Talk		Verification Talk
fpconf-2017		fpconf-2017
on-axiomatic-basis-50		on-axiomatic-basis-50
picat-wasm		picat-wasm
pinn-iu		pinn-iu
research-2016		research-2016
scala-gadts		scala-gadts
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md