hobbits

A library for name-binding in Haskell that ensures adequacy and prevents binding-related bugs.

Name	Name	Last commit message	Last commit date
Latest commit Eddy Westbrook Merge pull request eddywestbrook#8 from RyanGlScott/saw-T1742 Dec 5, 2022 b88cbfc · Dec 5, 2022 History 117 Commits
archival	archival	initial import of candidate version 1.1.1 from patch-tag	Jan 14, 2014
paper	paper	initial import of candidate version 1.1.1 from patch-tag	Jan 14, 2014
src/Data	src/Data	Make `NuMatchingAny1Proof` an alias for a quantified `NuMatching` con…	Dec 5, 2022
.gitignore	.gitignore	Add features used by Heapster (eddywestbrook#1 )	Jul 21, 2020
CHANGELOG	CHANGELOG	avoid running Mb function representation multiple times	May 7, 2021
LICENSE	LICENSE	Initial commit	Jan 14, 2014
README.md	README.md	Initial commit	Jan 14, 2014
Setup.hs	Setup.hs	moved all the Haskell source out of the hackage directory, to the top…	Jun 3, 2019
hobbits.cabal	hobbits.cabal	Allow building with GHC 9.0	Jun 24, 2021

Provide feedback