Commit History
@master
git clone https://git.catseye.tc/The-Dipple/
-
Replace 'Make' with 'Insert', 'Find' with 'Lookup'.
Chris Pressey
2 years ago
-
Add Remove operation to AssocList.
Chris Pressey
2 years ago
-
Add rudimentary implementation of association lists in Oberon.
Chris Pressey
2 years ago
-
Add a binary tree module in Oberon, and demo of using that module.
Chris Pressey
2 years ago
-
Add Oberon-07 program that outputs the first 30 Fibonacci numbers.
Chris Pressey
2 years ago
-
Add a JavaScript function that produces all permutations of an Array.
Chris Pressey
2 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
3 years ago
-
You should always never throw any throwaway script away amirite
Chris Pressey
3 years ago
-
Split commandline.ml off from prompt.ml.
Chris Pressey
3 years ago
-
Script to collect unique words from a corpus text.
Chris Pressey
3 years ago
-
Add a really trivial shell script that was hanging around.
Chris Pressey
3 years ago
-
Show that backticks can be used when calling a shell function.
Chris Pressey
4 years ago
-
Add two miscellaneous Python scripts.
Chris Pressey
4 years ago
-
You don't need monads to generate pseudorandom numbers in Haskell.
Chris Pressey
5 years ago
-
Add example of drawing on HTML5 Canvas with Haskell (using Haste).
Chris Pressey
5 years ago
-
Add example of using newtype to simulate an infinite type.
Chris Pressey
5 years ago
-
Improve mconcatenative example.
Chris Pressey
5 years ago
-
mconcat a list of Endos into a single Endo then appEndo it.
Chris Pressey
5 years ago
-
Modernize Falderal invokation, more Haskell record syntax example.
Chris Pressey
5 years ago
-
Add some example F# code.
Chris Pressey
5 years ago