blagda-0.1.0.1: Shake frontend for Agda blogging
Safe HaskellNone
LanguageHaskell2010

Blagda.References

Documentation

data Reference Source #

Constructors

Reference 

Fields

Instances

Instances details
Eq Reference Source # 
Instance details

Defined in Blagda.References

Show Reference Source # 
Instance details

Defined in Blagda.References