Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for nom-0.1.0.1 candidate source tarball
nom-0.1.0.1/
CHANGELOG.markdown
LICENSE
Setup.hs
nom.cabal
stack.yaml
doctest/
DocTest.hs
src/
Language/
Nominal.hs
Nominal/
Abs.hs
Binder.hs
Blurb.txt
Equivar.hs
Name.hs
NameSet.hs
Nom.hs
SMonad.hs
Sub.hs
Unify.hs
Unique.hs
Utilities.hs
Examples/
Assembly1.hs
Assembly2.hs
IdealisedEUTxO.hs
Style.hs
SystemF.hs
Tutorial.hs
UntypedLambda.hs
Properties/
AbsSpec.hs
AllTests.hs
EquivarSpec.hs
NameSetSpec.hs
NameSpec.hs
NomSpec.hs
SpecUtilities.hs
SubSpec.hs
UnifySpec.hs
UtilitiesSpec.hs
Examples/
IdealisedEUTxOSpec.hs
SystemFSpec.hs
test/
Spec.hs
Language/
Nominal/
AbsSpec.hs
EquivarSpec.hs
NameSetSpec.hs
NameSpec.hs
NomSpec.hs
SubSpec.hs
UnifySpec.hs
UtilitiesSpec.hs
Examples/
IdealisedEUTxOSpec.hs
SystemFSpec.hs