Commit History
@master
git clone https://git.catseye.tc/The-Dipple/
-
Add a version of the Operational monad written without using GADTs.
Chris Pressey
8 months ago
-
Add sometimes-useful script which never became a full project.
Chris Pressey
8 months ago
-
Rename some files and directories for better usability.
Chris Pressey
9 months ago
-
Convert CRLF line endings to LFs, except on VBScript sources.
Chris Pressey
9 months ago
-
Arrange license info in repo to follow the REUSE 3.0 convention.
Chris Pressey
9 months ago
-
Genericize the Turing machine example code.
Chris Pressey
9 months ago
-
Remove folklore CVS gen-password script with apocryphal pedigree.
Chris Pressey
9 months ago
-
Forcibly remove this decrepit, buggy, awkwardly-licensed script.
Chris Pressey
9 months ago
-
Merge branch 'master' of https://codeberg.org/catseye/Dipple
Chris Pressey
9 months ago
-
Add some Haskell code for shuffling a list.
Chris Pressey
9 months ago
-
More improvements to this script.
Chris Pressey
9 months ago
-
Improve this script.
Chris Pressey
9 months ago
-
Add a script that recursively diffs, and can be continued.
Chris Pressey
9 months ago
-
Add an experiment to learn more about string.find's behaviour.
Chris Pressey
10 months ago
-
Lua implementation of variant records (algebraic data types).
Chris Pressey
10 months ago
-
Add an implementation of an immutable map data structure in Lua.
Chris Pressey
10 months ago
-
Add Playfield class, extracted from Beturing code and converted.
Chris Pressey
10 months ago
-
Add example of importing and using a module as a class in Lua.
Chris Pressey
10 months ago
-
Add toy LCF-style theorem prover for Equational Theory of Groups.
Chris Pressey
10 months ago
-
Add ambinate.py, to make a more permanent home for it.
Chris Pressey
1 year, 8 days ago
-
Create probabilities_as_ratios.py
Chris Pressey
(commit: GitHub)
1 year, 24 days ago
-
Add script for comparing the branch in the repos in two shelves.
Chris Pressey
1 year, 1 month ago
-
Tiny example of reading an S-expression in from stdin.
Chris Pressey
1 year, 3 months ago
-
Add a trivial Dafny source, and instructions on installing Dafny.
Chris Pressey
1 year, 3 months ago
-
Rudimentary demo of binary search tree using inheritance.
Chris Pressey
1 year, 7 months ago
-
Add some example programs written in Nim.
Chris Pressey
1 year, 7 months ago
-
Create stringarith.lua
Chris Pressey
(commit: GitHub)
1 year, 7 months ago
-
Split AssocList demo off into own module.
Chris Pressey
2 years ago
-
Example of an AST using record inheritance and polymorphism.
Chris Pressey
2 years ago
-
Implement 'Merge' operation.
Chris Pressey
2 years ago