hnsl

cmake -DCMAKE_BUILD_TYPE:STRING=RelWithDebInfo -DLLVM_ENABLE_ASSERTIONS:BOOL=ON -DPYTHON_EXECUTABLE:FILEPATH=/usr/bin/python2 -DCMAKE_INSTALL_PREFIX:PATH=/usr ../llvm

hnsl

type count int32

type incrementable interface {
	Inc()
}

type countable interface {
	incrementable
	Dec()

hnsl

consumeRPN []     st = last st
consumeRPN (x:xs) st
    | x == "+"  = consumeRPN xs (ll ++ [l1 + l2])
    | x == "-"  = consumeRPN xs (ll ++ [l1 - l2])
    | x == "*"  = consumeRPN xs (ll ++ [l1 * l2])
    | x == "/"  = consumeRPN xs (ll ++ [l1 / l2])
    | otherwise = consumeRPN xs (st ++ [read x])
    where
        l2 = last st
        l1 = last $ init st

hnsl

module Main

total
minusS : (n : Nat) -> (m : Nat) -> LTE m n -> Nat
minusS n m x = n - m

total
decNat : Nat -> Nat
decNat k with (isLTE 1 k)
  decNat k | (Yes prf) = minusS k 1 prf

hnsl

    ch := make(chan interface{})
    msg := "foo"
    go func() {
        x := <- ch
        if _, ok := x.(string); ok {
            jlib.JPrint("%s", x.(string))
        }
        close(ch)
    }()

hnsl

#include <cstdlib>
#include <vector>
#include <climits>
#include <algorithm>
#include <iostream>

class Computer;

class Link {
public:

hnsl

#include <iostream>
#include <vector>
#include <algorithm>

class Vertex {
public:
    // Vertex id in vertexes.
    int id;
    // Index of vertex begin edge (first).
    int idx;

hnsl

-1.585 *
(
    if (((1.262 * a + 1.262 * b) + -0.000) > 0)
    then ((1.262 * a + 1.262 * b) + -0.000)
    else 0
)
+
1.303 *