This website requires JavaScript.
Explore
Help
Sign In
schrottkatze
/
iowo
Watch
1
Star
0
Fork
You've already forked iowo
0
forked from
katzen-cafe/iowo
Code
Pull requests
Activity
42
commits
8
branches
0
tags
12
MiB
388827a50e
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