History of
README.md
@master
git clone https://git.catseye.tc/Ebfer/
-
Small edit in README
Chris Pressey
a month ago
-
Update "further work" notes in README.
Chris Pressey
a month ago
-
Add some notes to README and to assume-discharge example.
Chris Pressey
3 months ago
-
Improve signature of this example function we keep using.
Chris Pressey
3 months ago
-
Update README.
Chris Pressey
4 months ago
-
Update copyright year.
Chris Pressey
4 months ago
-
Rename the language that is the main language of this repository.
Chris Pressey
1 year, 1 month ago
-
Rename the license file.
Chris Pressey
1 year, 1 month ago
-
Round out the test cases.
Chris Pressey
1 year, 2 months ago
-
Add some more failing test cases.
Chris Pressey
1 year, 2 months ago
-
License under BSD. Arrange license info according to REUSE 3.2.
Chris Pressey
1 year, 2 months ago
-
Support parameter substitution in decoration. All tests pass.
Chris Pressey
1 year, 2 months ago
-
Update README.
Chris Pressey
1 year, 2 months ago
-
Add trivial test harness
Chris Pressey
1 year, 2 months ago
-
Rename.
Chris Pressey
1 year, 2 months ago
-
Flesh out the documentation somewhat. Small steps for now.
Chris Pressey
1 year, 7 months ago
-
Initial commit: Checkpoint writing the documentation.
Chris Pressey
1 year, 7 months ago