Files

 6658064

/

plutus-core-spec

/

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

 6658064

/

plutus-core-spec

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
figures		figures
ARCHITECTURE.adoc		ARCHITECTURE.adoc
CHANGELOG.md		CHANGELOG.md
Makefile		Makefile
default.nix		default.nix
plutus-core-specification.bib		plutus-core-specification.bib
plutus-core-specification.tex		plutus-core-specification.tex
View all files