SeverTopan

from debian:buster

# Setup.
workdir /workspace
run apt-get update && apt-get install -y git opam rlwrap

# Clone Beluga.
run git clone https://github.com/Beluga-lang/Beluga.git

# Setup opam.

SeverTopan

def _3_sat_to_max_2_sat(S):
  # Using https://math.stackexchange.com/questions/1633005/how-exactly-does-a-max-2-sat-reduce-to-a-3-sat
  S = torch.FloatTensor(S)
  S_prime = torch.zeros([S.size()[0]*10, S.size()[1] + S.size()[0]])
  num_aux = len(S)

  for aux, (t, l1, l2, l3) in enumerate(S):
      aux_true = [0]*num_aux
      aux_true[aux] = 1

SeverTopan

data A : Set

data B : Set where
  b : A → B

data A where
  a : B → A
  

SeverTopan

A common problem that I have come across exists when attempting to create shared pointers of objects which have protected constructors. The following class design details a class that can only be accessed through a shared reference.

class A
{
protected:
    A(int foo)
        : _foo(foo)
    {
 }

SeverTopan

"""Formdown is a tiny python module that converts a string into html, and applies a 
github-like formatting style to it. 

The module requires the https://github.com/Python-Markdown/markdown module.
"""
import markdown
import argparse

def format(markdown_string):
	"""Convert the given markdown string to html, and apply a github-like formatting style.