Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/The-Dipple/
- 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 3 years ago
- Add two miscellaneous Python scripts. Chris Pressey 3 years ago
- You don't need monads to generate pseudorandom numbers in Haskell. Chris Pressey 4 years ago
- Add example of drawing on HTML5 Canvas with Haskell (using Haste). Chris Pressey 4 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
- Add MapEmbedMaybe.hs, demos refining concrete -> general design. Chris Pressey 5 years ago
- Add Python script to turn absolute symlinks into relative ones. Chris Pressey 5 years ago
- Add Python script to find and output all long lines in a file. Chris Pressey 5 years ago
- Add --generate-clone-script option. Chris Pressey 5 years ago
- Add example of using MobX. Chris Pressey 5 years ago