Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/The-Dipple/
- 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
- 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