tacryt-socryp tacryt-socryp

Decrement

Write a gate that takes some integer n and returns (n - 1). You may not use dec from the Hoon stdlib, and you may not look at the code for dec in hoon.hoon. You're under the honor system.

	\|%
	::
	:: +permission: main permission model
	::
	+$ permission
	$% [%white (set @p)]
	[%black (set @p)]
	==
	::
	:: +channel: main abstraction for a message bus

	<html>
	<head>
	<title>Pareto Experiment</title>
	<script type="text/javascript" src="pareto.js"></script>
	</head>
	<body>
	</body>
	</html>

	\|%
	++ newlist {what/@ next/(unit newlist)}
	--
	\|= [x=@ y=@ z=(unit newlist)]
	^- (unit newlist)
	?~ z
	?: (lte x y)
	$(x x, y (dec y), z [~ [what=y next=~]])
	~
	?: (lte x y)

	var fetch = require('node-fetch');

	function authenticate(code, success) {
	fetch(`http://localhost:8080/~/auth.json`).then(res => res.json())
	.then((json) => {
	let payload = {
	method: "PUT",
	body: JSON.stringify({
	ship: json.ship,
	code: code,

	/+ mylib :: import
	=, mylib :: alias to the subject (don't have to type mylib anymore)
	\|= a=@
	^- [@ [@ @]]
	(goldbach a)

	\|%
	++ new-prime
	\|= n=@
	^- @
	%- inner-prime [n 2]

	++ inner-prime
	\|= a=[n=@ i=@] :: sample (input mold)
	^- @ :: return mold
	=+ upper=(div n.a 2) :: define a variable as the upper limit of variables to check = n/2

	\|%
	++ new-dec
	\|= a/@
	^- @

	?: (lte a 0) ::
	0
	?: (lte a 1)
	0
	%- inner-dec :+(a 1 0)

	/+ mylib :: import
	=, mylib :: alias to the subject (don't have to type mylib anymore)
	\|= [a=@ b=@]
	^- @
	(new-add a b)