This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; flycheck-mlton.el --- Flycheck: MLton support -*- lexical-binding: t; -*- | |
;; This code is modified by SAITOU Keita <[email protected]>. | |
;; | |
;; Original source is available here, | |
;; URL: http://hebiyan.hatenablog.com/entry/20160316/1458125059 | |
;; Package-Requires: ((emacs "24.1") (flycheck "0.22") (sml-mode "0.4")) | |
;;; Commentary: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
signature SHOW = | |
sig | |
type t | |
val show : t -> string | |
end | |
structure ShowInt : SHOW where type t = int = | |
struct | |
type t = int | |
val show = Int.toString |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
structure MutableDeque : | |
sig | |
type 'elem t | |
val empty : unit -> 'elem t | |
val cons : 'elem -> 'elem t -> 'elem t | |
val head : 'elem t -> 'elem | |
val tail : 'elem t -> 'elem t | |
val snoc : 'elem -> 'elem t -> 'elem t | |
val last : 'elem t -> 'elem | |
val init : 'elem t -> 'elem t |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
chubudenki_base_price = 1144 | |
chubudenki1(x) = (x < 0) ? NaN : ((x <= 120) ? 21.4 * x + chubudenki_base_price : NaN) | |
chubudenki2(x) = (x <= 120) ? chubudenki1(x) : ((x <= 300) ? 25.51 * (x - 120) + chubudenki1(120) : NaN) | |
chubudenki3(x) = (x <= 300) ? chubudenki2(x) : 28.46 * (x - 300) + chubudenki2(300) | |
tohodenki_base_price = 936 | |
tohodenki1(x) = (x < 0) ? NaN : ((x <= 120) ? 21.02 * x + tohodenki_base_price : NaN) | |
tohodenki2(x) = (x <= 120) ? tohodenki1(x) : ((x <= 200) ? 25.46 * (x - 120) + tohodenki1(120) : NaN) | |
tohodenki3(x) = (x <= 200) ? tohodenki2(x) : ((x <= 250) ? 25.48 * (x - 200) + tohodenki2(200) : NaN) | |
tohodenki4(x) = (x <= 250) ? tohodenki3(x) : ((x <= 300) ? 25.50 * (x - 250) + tohodenki3(250) : NaN) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
datatype 'a cell = CELL of 'a * 'a cell option ref | |
val cell = CELL (1, ref NONE) | |
(* val cell = CELL (1, ref NONE) : int cell *) | |
val cellRef = ref (SOME cell) | |
(* val cellRef = ref (SOME (CELL (1, ref NONE))) : int cell option ref *) | |
cellRef := SOME (CELL (1, cellRef)) | |
(* val it = () : unit *) | |
cellRef | |
(* | |
val it = |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
MIT License | |
Copyright (c) 2023 SAITOU Keita | |
Permission is hereby granted, free of charge, to any person obtaining a copy | |
of this software and associated documentation files (the "Software"), to deal | |
in the Software without restriction, including without limitation the rights | |
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
copies of the Software, and to permit persons to whom the Software is | |
furnished to do so, subject to the following conditions: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# Check if correct number of arguments are provided | |
if [ "$#" -ne 1 ]; then | |
echo "Usage: $0 <base_directory>" | |
echo " which base_directory has 'wav' subdir having *.wav files." | |
exit 1 | |
fi | |
# Get the input and output directories from arguments |
OlderNewer