scolobb/typed-graph
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
6 commits 1 branch 0 tags 280 KiB
Commit graph

3 commits

Author SHA1 Message Date
Sergiu Ivanov
c8cd64c5df manual: interface to → interface for 2020-12-28 22:57:45 +01:00
Sergiu Ivanov
1dde7d6cf9 manual: Add Technical details. 2020-12-28 22:53:19 +01:00
Sergiu Ivanov
851c708998 Add manual.scrbl. 2020-12-28 22:33:40 +01:00