This website requires JavaScript.
Explore
Help
Sign In
katzen-cafe
/
iowo
Watch
2
Star
4
Fork
You've already forked iowo
1
Code
Issues
4
Pull requests
2
Projects
Releases
Packages
Wiki
Activity
41
commits
3
branches
0
tags
10
MiB
efdfb5705e
Commit graph
5 commits
Author
SHA1
Message
Date
Schrottkatze
efdfb5705e
actually write things
2024-01-18 20:17:56 +01:00
Schrottkatze
b91e697449
add example for multiple generics
2024-01-11 10:55:25 +01:00
Schrottkatze
e1dc5ce132
doc: change code from inline to blocks
2024-01-11 10:48:43 +01:00
Schrottkatze
22a655fd24
write initial type signature notation proposal
2024-01-10 12:45:41 +01:00
Schrottkatze
a3a7a00808
add typst design document stuff
2024-01-01 23:34:34 +01:00