Initial commit. This is working, but it isn't yet elegant.

This commit is contained in:
Simon Brooke 2022-09-07 15:42:26 +01:00
parent 04a7f59656
commit 69314e946a
No known key found for this signature in database
GPG key ID: A7A4F18D1D4DF987
1156 changed files with 3905 additions and 0 deletions

3
doc/intro.md Normal file
View file

@ -0,0 +1,3 @@
# Introduction to sikhi
TODO: write [great documentation](http://jacobian.org/writing/what-to-write/)