Revision as of 12:18, 25 November 2021 edit Ghettoblaster (talk \| contribs) Extended confirmed users 19,881 edits mNo edit summary ← Previous edit		Revision as of 17:14, 2 May 2022 edit undo 71.199.114.135 (talk) Update link which had bit rotted away Next edit →
Line 18: \| website = {{url\|https://www.fstar-lang.org/}} \| file ext = \| designers = [[Microsoft Research]] and [[Inria]]<ref>{{cite web\|url=~~http~~https://www.~~msr~~microsoft.com/en-us/research/collaboration/inria~~.fr~~-joint-centre/\|title=Microsoft Research Inria Joint Centre\|website=MSR-INRIA}}</ref> \| file_ext = .fst }}

F* (programming language): Difference between revisions