tbmreza

Finance & Accounting

Odoo Module	SAP S/4HANA Module	SAP Business One (SBO) Equivalent
Accounting / Invoicing	FI (Financial Accounting)	Financials / Invoicing
Analytic / Costing	CO (Controlling / Management Accounting)	Cost Accounting / Profit Centers
Expenses	FI-TV (Travel Management) / Concur	Expenses & Claims
Assets Management	FI-AA (Asset Accounting)	Fixed Assets

---

tbmreza

#import "@preview/algo:0.3.6": algo, i, d, comment, code
///// =========================================================
// EVALUASI PAPERLESS REPORTING — LAPORAN AKHIR
// Fakultas Ilmu Komputer, Universitas Indonesia
// =========================================================

#set page(paper: "a4", margin: 2.5cm)
// #set page(paper: "a4", margin: (top: 3cm, bottom: 3cm, left: 3.5cm, right: 3cm))
#set text(font: "Liberation Serif", size: 12pt, lang: "id")
#set par(justify: true, leading: 0.65em)

tbmreza

import Relation.Binary.PropositionalEquality as Eq
open Eq using (_≡_; refl)
open Eq.≡-Reasoning using (begin_; _≡⟨⟩_; _∎)

data ℕ : Set where
  zero : ℕ
  suc  : ℕ → ℕ

{-# BUILTIN NATURAL ℕ #-}

tbmreza

import Relation.Binary.PropositionalEquality as Eq
open Eq using (_≡_; refl; cong; sym)
open import Data.Nat
open import Data.Bool.Base


data Tree : Set where
  tempty  : Tree
  tnode   : ℕ -> Tree -> Tree -> Tree

tbmreza

#lang racket
(provide (all-defined-out))

(define any? any/c)

(define (until p f)
  (define (go x)
    (match x
      [(? p x)  x]
      [_        (go (f x))]))

tbmreza

load .env inline:
env $(cat .env | xargs) mix release

sqlite ls tables:
SELECT table_name FROM information_schema.tables WHERE table_schema = 'public’;
SELECT * FROM sqlite_master where type='table';  -- d1 ok
PRAGMA table_info(table_name);

postgres ls tables:
SELECT * FROM pg_catalog.pg_tables WHERE schemaname='public';

tbmreza

func Deref(s *string) string {
	if s != nil {
		return *s
	}
	return ""
}

func ParseInt64OrDefault(s string) int64 {
	n, strconvErr := strconv.ParseInt(s, 10, 64)
	if strconvErr != nil {

tbmreza

-- https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/

-- 1. TUTORIAL
-- world=1&level=1 "using refl"
example : forall x : Nat, x = x := by
  intro x
  exact Eq.refl x

-- world=1&level=2 "using rw"
example

tbmreza

export function objectCopy(obj) {
  if (typeof obj === "object") {
    return JSON.parse(JSON.stringify(obj));
  } else {
    console.log(obj);
  }
}

tbmreza

<script>
  export let display;
  import ModalInternals from "./ModalInternals.svelte";

  let closeModal = false;

  const handleClose = () => {
    display = false;
  };
</script>