Pinned Loading

1. jeprinz/pantograph jeprinz/pantograph Public

   PureScript 102 4

2. chronolog chronolog Public

   A Prolog style solver with goal suspension and resumption control.

   Haskell 1

3. shape-lang-purs shape-lang-purs Public

   A well-typed structural editor.

   PureScript 5

4. zypr zypr Public

   A zippy structural editor, created by Henry Blanchette and Jacob Prinz as UMD.

   PureScript 3

5. ce-editor ce-editor Public

   A structured constructor-expression editor written in Purescript.

   PureScript

6. Thesis-Purity-and-Effect Thesis-Purity-and-Effect Public

   Purity and Effect in Programming Languages ––– Henry Blanchette's undergraduate thesis for BA in Computer Science at Reed College.

   TeX