Commit 470b0dc95064decc404aa2dc66d74c02cd349b5e - Turmac

Tidy up the loose ends. Chris Pressey 4 months ago

6 changed file(s) with 21 addition(s) and 7 deletion(s). Raw diff Collapse all Expand all

+11

-0

REUSE.toml less more

	0	# SPDX-FileCopyrightText: Chris Pressey, the creator of this work, has dedicated it to the public domain.
	1	# For more information, please refer to <https://unlicense.org/>
	2	# SPDX-License-Identifier: Unlicense
	3
	4	version = 1
	5
	6	[[annotations]]
	7	path = "eg/**"
	8	precedence = "aggregate"
	9	SPDX-FileCopyrightText = "Chris Pressey, the creator of this work, has dedicated it to the public domain."
	10	SPDX-License-Identifier = "Unlicense"

-3

~~eg/copy.turmac.csv.license~~ less more

0		SPDX-FileCopyrightText: Chris Pressey, the creator of this work, has placed it under the CC0 public domain dedication.
1
2		SPDX-License-Identifier: CC0-1.0

-3

~~eg/tm1.turmac.csv.license~~ less more

0		SPDX-FileCopyrightText: Chris Pressey, the creator of this work, has placed it under the CC0 public domain dedication.
1
2		SPDX-License-Identifier: CC0-1.0

-0

eg/trivial.turmac.csv less more

	0	in state,if the symbol is,write the symbol,move the head,go to state
	1	S0,_,_,R,H

-0

src/Language/Turmac/Backend/Kondey.hs less more

	0	-- SPDX-FileCopyrightText: Chris Pressey, the creator of this work, has dedicated it to the public domain.
	1	-- For more information, please refer to <https://unlicense.org/>
	2	-- SPDX-License-Identifier: Unlicense
	3
0	4	module Language.Turmac.Backend.Kondey where
1	5
2	6	import Data.List (intercalate)

8	12
9	13	--
10	14	-- Under development!
	15	--
	16	-- TODO: deal with the fact that a tape full of blanks is NOT a good starting
	17	-- tape for this simulation.
11	18	--
12	19
13	20	--

-1

src/Main.hs less more

79	79	compileTo "turmac" = compileToTurmac
80	80	compileTo "python" = compileToPython
81	81	compileTo "kondey" = compileToKondey
82		compileTo _ = error "--backend must be given when compiling, and must be one of: 'ir-dump', 'turmac', 'python', 'kondey'"
	82	compileTo _ = error "--backend must be given when compiling, and must be one of: 'ir-dump', 'turmac', or 'python'"
83	83
84	84	--
85	85	-- Driver