Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Dipple/
- Show that, for lists, Nil is the unit for append. Chris Pressey 2 years ago
- Add a working version of the proof, using normalize_term_spec. Chris Pressey 2 years ago
- Extract OCaml from an F* development and build a binary from it. Chris Pressey 2 years ago
- Some trivial assertions on FStar.Strings. Chris Pressey 2 years ago
- An inductively-defined type, total functions, and proofs, in F*. Chris Pressey 2 years ago
- Add implementation of topological sort in Python. Chris Pressey 2 years ago
- This repo no longer supports Mercurial. Chris Pressey 2 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 4 years ago
- Improve mconcatenative example. Chris Pressey 4 years ago
- mconcat a list of Endos into a single Endo then appEndo it. Chris Pressey 4 years ago
- Modernize Falderal invokation, more Haskell record syntax example. Chris Pressey 4 years ago
- Add some example F# code. Chris Pressey 4 years ago
- Add MapEmbedMaybe.hs, demos refining concrete -> general design. Chris Pressey 4 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
- Some non-monadic, non-combinator-based code to parse S-expressions. Chris Pressey 5 years ago
- This utility has officially moved to the Chrysoberyl repo now. Chris Pressey 5 years ago
- Lightweight (not to say crude) lexer and demo RDP in R5RS Scheme. Chris Pressey 5 years ago
- Basic example of using BiwaScheme in an HTML document. Chris Pressey 5 years ago