tacryt-socryp tacryt-socryp

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

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

## newlist.hoon
|%
++  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)

## test-case-eyre.js
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,

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

## mylib.hoon
|%
++  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

## fac-1.hoon
/+  mylib               ::  import
=,  mylib               ::  alias to the subject (don't have to type mylib anymore)
|=  a=@
^-  @
(new-fac a)

## mylib.hoon
|%
++  new-dec
  |=  a/@
  ^-  @

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

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

## decrement.md

      
        
          
            
              
              3 files
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                tacryt-socryp
                / decrement.md
            
            
              Created
              May 16, 2018 22:30
            
              
                Decrement written in Hoon
              
          
        
      
        
  
      
    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)