Commit History
@master
git clone https://git.catseye.tc/The-Dipple/
-
Add script for comparing the branch in the repos in two shelves.
Chris Pressey
1 year, 8 months ago
-
Tiny example of reading an S-expression in from stdin.
Chris Pressey
1 year, 10 months ago
-
Add a trivial Dafny source, and instructions on installing Dafny.
Chris Pressey
1 year, 10 months ago
-
Rudimentary demo of binary search tree using inheritance.
Chris Pressey
2 years ago
-
Add some example programs written in Nim.
Chris Pressey
2 years ago
-
Create stringarith.lua
Chris Pressey
(commit: GitHub)
2 years ago
-
Split AssocList demo off into own module.
Chris Pressey
3 years ago
-
Example of an AST using record inheritance and polymorphism.
Chris Pressey
3 years ago
-
Implement 'Merge' operation.
Chris Pressey
3 years ago
-
Replace 'Make' with 'Insert', 'Find' with 'Lookup'.
Chris Pressey
3 years ago
-
Add Remove operation to AssocList.
Chris Pressey
3 years ago
-
Add rudimentary implementation of association lists in Oberon.
Chris Pressey
3 years ago
-
Add a binary tree module in Oberon, and demo of using that module.
Chris Pressey
3 years ago
-
Add Oberon-07 program that outputs the first 30 Fibonacci numbers.
Chris Pressey
3 years ago
-
Add a JavaScript function that produces all permutations of an Array.
Chris Pressey
3 years ago
-
Add a Haskell function that splits text into lines.
Chris Pressey
3 years ago
-
"You'll note there is no 'P' in it -- Let's keep it that way" NOT
Chris Pressey
3 years ago
-
Show that every natural number is either even or odd, but not both.
Chris Pressey
3 years ago
-
Show that, for lists, Nil is the unit for append.
Chris Pressey
3 years ago
-
Add a working version of the proof, using normalize_term_spec.
Chris Pressey
3 years ago
-
Extract OCaml from an F* development and build a binary from it.
Chris Pressey
3 years ago
-
Some trivial assertions on FStar.Strings.
Chris Pressey
3 years ago
-
An inductively-defined type, total functions, and proofs, in F*.
Chris Pressey
3 years ago
-
Add implementation of topological sort in Python.
Chris Pressey
3 years ago
-
This repo no longer supports Mercurial.
Chris Pressey
3 years ago
-
Add some Standard ML examples.
Chris Pressey
4 years ago
-
You should always never throw any throwaway script away amirite
Chris Pressey
4 years ago
-
Split commandline.ml off from prompt.ml.
Chris Pressey
4 years ago
-
Script to collect unique words from a corpus text.
Chris Pressey
4 years ago
-
Add a really trivial shell script that was hanging around.
Chris Pressey
4 years ago