playground/sml
Julin S 7129e29061 [sml] add an old program 2024-02-28 13:20:47 +05:30
..
calc more files including prf files of pvs 2023-05-23 22:25:17 +05:30
README.org [sml] add old sml files 2023-04-08 14:19:57 +05:30
comb.sml add a bunch of old files 2023-05-23 22:04:54 +05:30
defun.sml add a bunch of old files 2024-02-25 12:35:53 +05:30
exception.sml more files including prf files of pvs 2023-05-23 22:25:17 +05:30
expr-eval-2022.sml more files including prf files of pvs 2023-05-23 22:25:17 +05:30
fibo.sml [sml] add old sml files 2023-04-08 14:19:57 +05:30
folds.sml more files including prf files of pvs 2023-05-23 22:25:17 +05:30
inf.sml add a bunch of old files 2024-02-25 12:35:53 +05:30
parser-combinator.sml [sml] add an old program 2024-02-28 13:20:47 +05:30
phoas.sml [sml] add old sml files 2023-04-08 14:19:57 +05:30
qsort.sml more files including prf files of pvs 2023-05-23 22:25:17 +05:30
re-cps.sml [sml] regex match using cps 2023-04-27 13:08:32 +05:30
refs.sml more files including prf files of pvs 2023-05-23 22:25:17 +05:30
reverse.sml [sml] add old sml files 2023-04-08 14:19:57 +05:30
thompson-nfa-vec.sml [sml] add an old program 2024-02-28 13:20:47 +05:30
thompson-nfa.sml [sml] add an old program 2024-02-28 13:20:47 +05:30
tree.sml [sml] add old sml files 2023-04-08 14:19:57 +05:30
unification.sml more files including prf files of pvs 2023-05-23 22:25:17 +05:30
utlc.sml more files including prf files of pvs 2023-05-23 22:25:17 +05:30
vec.sml add a bunch of old files 2024-02-25 12:35:53 +05:30

README.org

  • fibo.sml: Fibonacci numbers
  • reverse.sml: Reverse a list
  • tree.sml: Representing a tree as a type
  • phoas.sml: PHOAS example