Jack Fox
Results
3
repositories owned by
Jack Fox
DependentTypes
70
Stars
3
Forks
Watchers
experiments with @robkuz LimitedValue type
FsRegEx
27
Stars
4
Forks
Watchers
Composable regular expressions for F#
SpecifyingSystemsWithContents
48
Stars
9
Forks
Watchers
Adding a table of contents to Specifying Systems, TLA+.pdf