Pantograph/.gitignore

.*
!.gitignore

# Python
*.py[cod]
*.egg-info

# Output
/dist

pantograph/pantograph
pantograph/lean-toolchain
build: Add poetry stub 2024-04-11 16:38:44 -07:00			`.*`
			`!.gitignore`

			`# Python`
			`*.py[cod]`
			`*.egg-info`
feat: System stub 2024-04-19 16:47:35 -07:00
			`# Output`
			`/dist`

			`pantograph/pantograph`
feat: expression types and tests 2024-04-22 13:00:06 -07:00			`pantograph/lean-toolchain`