GitXplorerGitXplorer
s

pyre-notes-and-tools

public
1 stars
0 forks
0 issues

Commits

List of commits on branch main.
Unverified
8ab9282167b205b989f010a4ead3c32ef8f7723a

Add new module to the saved state demo

sstroxler committed 6 days ago
Unverified
3e020110e6c6e0b7f3eb2e5b699ee43ebe79fa09

Add conformance result update snippet

sstroxler committed 10 days ago
Unverified
120f995d2851a30eaa7c7a8e820f57ac2828f368

Add an env.sh with some aliases

sstroxler committed 17 days ago
Unverified
a618c84ff73d960c6d62d02758a0827ebfe34e04

Add .merlin generation snippet

sstroxler committed 18 days ago
Unverified
9972b4fc941743108171ca2a43d245f5b3e87f71

Add some helpful snippets I keep being unable to remember

sstroxler committed 25 days ago
Unverified
e02dc7e0d4ca80f6cce20ae2990a68c25bf74af3

Add a toy project for saved state

sstroxler committed 2 months ago

README

The README file for this repository.

Pyre notes and tools

This is a dumping ground for my (Steven Troxler's) personal Pyre-related bits of code and such. For instance:

  • development tools that are either specific to my personal preferences or are experiments and I'm not ready to commit to the main repo (which is an implicit suggestion that other people should use them)
  • scratch projects demonstrating typing issues that I felt at the time were worth preserving but didn't make sense to add to Pyre's test cases