justine stephenson fmrl

a computer scientist at Microsoft Research. a gender non-conforming woman (this one/she/her). i experience extreme synchronicity and pareidolia.

fmrl / list.fst

Created April 8, 2015 01:59

f* examples: total list functions

	(*
	* Copyright (c) 2015, Michael Lowell Roberts.
	* All rights reserved.
	*
	* Redistribution and use in source and binary forms, with or without
	* modification, are permitted provided that the following conditions are
	* met:
	*
	* - Redistributions of source code must retain the above copyright
	* notice, this list of conditions and the following disclaimer.

fmrl / behavior.fst

Created April 8, 2015 01:57

f* example: TLA behavior (wip)

	(*
	* Copyright (c) 2015, Michael Lowell Roberts.
	* All rights reserved.
	*
	* Redistribution and use in source and binary forms, with or without
	* modification, are permitted provided that the following conditions are
	* met:
	*
	* - Redistributions of source code must retain the above copyright
	* notice, this list of conditions and the following disclaimer.