Files

 master

/

small-step-semantics

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

jbgi

Migrate to nix flake

Jun 7, 2023

9366f27 · Jun 7, 2023

History

History

/

small-step-semantics

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
Makefile		Makefile	Move pool-ranking and semantics specs into their own folder docs:	Sep 23, 2021
flake.nix		flake.nix	Migrate to nix flake	Jun 7, 2023
small-step-semantics.tex		small-step-semantics.tex	Update small-step-semantics.tex	Jul 12, 2022
View all files